0
@YCor made a suggestion in an answer to another post (What is the intended use of the (proofs) tag?) a bit over a year ago. It received several upvotes, but does not appear to have been acted upon. I thought it might receive more attention here:
It's not exactly about the original question, bu...