Re: [math-fun] Publishing new proofs of old results