Add "Select" option in GNU/Linux download dropdown menu
While https://ring.cx/en/download/gnu-linux/manual shows a "Select" option by default, there is no such an option for https://ring.cx/en/download/gnu-linux (Ubuntu 18.04 seems to be preselected here)
What do you think, would it make sense to add this option here as well? To not give Ubuntu an advantage ...