On Tue, Dec 08, 2020 at 12:27:41AM -0500, Martin K. Petersen wrote: > > Christoph, > > > The existing behavior is inconsistent in the sense that doing: > > > > permits writes. But: > > > > <something triggers revalidate> > > > > doesn't. > > > > And a subsequent: > > Looks like the command line pieces got zapped from the commit > description. Yeah. It seems like git commit just removed them after I pasted them, weird.