On Tue, Apr 23, 2019 at 12:32:02PM +0200, Ingo Molnar wrote:> The .rst files still read like text files, right?Like a harder to read text file for no gains.