Hi Alejandro, Alejandro Colomar wrote on Mon, Aug 01, 2022 at 03:28:03PM +0200: > I'd like to arrive to some consensus on usage of \~ and '\ '. In manual pages, always use "\ " and never use "\~", period. The former is portable and the latter is a GNU extension. > What do you think? I think you are massively overthinking this and the whole SI argument is irrelevent for manual pages. While the above concern about robustness is minor, too (both groff and mandoc support \~), portability is still significantly more important than such minute typographical details. Yours, Ingo
