* mu4e: small tweaks to the manual