On Wed, Jul 31, 2019 at 01:25:17PM -0700, Paul E. McKenney wrote: > Looks like a pretty clear consensus thus far. Any objections to keeping > these .txt for the time being? Obviously I'm a huge proponent of abandoning RST and an advocate for normal .txt files ;-)