` :::Whoops, I mentally replied to this but didn't actually type it in ). I agree with you , the point of us being here is to improve the encyclopedia and there's no reason why you must' not reply on a so-called ``closed`` PR.   `