Thread:Sannse/@comment-37150033-20200307021321/@comment-126761-20200309165302

I suggest just copy-pasting it to the appropriate location - I don't think this really needs us to move it, and I wouldn't wish to imply that we have fully reviewed and approved it.