* Monday, 2021-07-19 at 11:59 +0000 - nervuri <nervuri@disroot.org>: > a more verbose and precise formulation[...] This looks good. I retract my previous objections, I think it would be reasonable to include this in the spec.