Thread:Randomness central/@comment-45429750-20200612081556/@comment-45780060-20200612151142

To me it seems like a grey area too... whatever you decide is fine with me.