On Fri, Nov 06, 2020 at 01:31:44PM +0100, Magnus Hagander wrote:> I think the defensive-in-code instead of defensive-in-docs is a really> strong argument, so I have pushed it as such.
Fine by me. Thanks for the commit.--Michael