On Mon, 21 May 2018 01:28:51 +0300, Mikhail V wrote: > Source examples on > Github will force a crappy font and replace tabs. Is that supposed to convince us that using mandatory TABs is a good idea? -- Steve