specific-question I am not sure to which extent is slick-proof actually a useful tag, but if it is supposed to be used somewhere, probably this question (which was recently bumped) could be one of the candidates: Quick proofs of hard theorems
Mathematics is rife with the fruit of abstraction. Many problems which first are solved via "direct" methods (long and difficult calculations, tricky estimates, and gritty technical theorems) later turn out to follow beautifully from basic properties of simple devices, though it often takes some...
@MartinSleziak the idea ought to be that it is for questions about proofs specifically. But really I think it's not a meaningful tag. I am actually surprised it's around. I do recall slick-proof, which is not much better, and I think we got rid of missing-lemma at one point.
I also have doubts about the tag 'slick-proof'... would be a good nominate for burninating (there are 17 questions so it could be done manually). In addition 'alternative-proof' (about 45 questions) already does the job, except being more neutral.
It's not exactly about the original question, but now proofs has been duly removed. There are still the tags alternative-proof and slick-proof (47 and 17 questions respectively at this date 2020/Feb/06). While in practice they have close meanings, the second one is unpleasantly non-neutral, and I...
@YCor I will just point out that it's possible that if that was a new question, it would be slightly more likely that it gets noticed.
Questions which are tagged discussion and have score 3 or higher and are at most 14 days old are displayed in the community bulletin. (This is answer to an old question, so it will not be shown there.)
My personal impression is that posts which are displayed in the community bulletin usually get more views.
OTOH I understand that this is related to the topic of the older question and you might consider preferable not to have too many questions about the same topic (or very close topics).
> While in practice they have close meanings, the second one is unpleasantly non-neutral, and I'd like it to be removed, practically making it a synonym of alternative-proof would sound fine.
Is it more-or-less in the spirit of your suggestion on meta?
I am asking partly because the question was recently bumped - so it is a good time for retagging or other improvements without causing objections by MO users. And partly to check whether I understood your proposal on meta correctly.
Let's hope that your post on meta gest some feedback from MO users. (Quite often tag-related discussions on Meta MathOverflow got with no - or very little - response.)
