Loading the recording of “Shell completions and a man page”…