On Wed, Oct 05, 2022 at 04:25:39PM +0700, Bagas Sanjaya wrote: > On 10/5/22 16:10, Peter Zijlstra wrote: > > On Mon, Oct 03, 2022 at 04:56:10PM +0000, Edgecombe, Rick P wrote: > >> Thanks. Unless anyone has any objections > > > > Well, I'll object. I still feel rst should burn in hell. Plain text FTW. > > > > > > .txt maybe? We had that, but some idiots went and converted the lot to .rst :-(