4
$\begingroup$

I doubt that tags like is of any use. No one is probably going to watch or use this tag, because people don't tend to learn everything about the installation of every proof assistant.

I suggest merging all the tags into . It should concern things like software installation and settings, and peripheral tooling. This way, people can filter out these contents systematically if they don't want to see these.

$\endgroup$
3
  • 2
    $\begingroup$ I would feel more inclined towards this change if there was more than one tag fitting in this category $\endgroup$
    – Couchy Mod
    Commented Jan 25, 2023 at 14:08
  • 3
    $\begingroup$ Yes, a list of said tags to be merged to that tag, and the number of occurrences, would improve this FR. $\endgroup$
    – Rob
    Commented Jan 25, 2023 at 18:53
  • $\begingroup$ Who would follow "technical-support" if they would not follow "installation"? $\endgroup$
    – Nike Dattani
    Commented Feb 6, 2023 at 5:27

0

Reset to default

You must log in to answer this question.

Browse other questions tagged .