For bottom type to explain, the wiki link is used in Never and NoReturn section as shown below:
Type theory has a concept of a bottom type, a type that has no values. Concretely, ...
But the wiki link is unstable being changed(edited) freely so the wiki link should be removed and a bottom type is actually explained in Never and NoReturn section so the wiki link isn't needed. And, if a bottom type needs more explanation, it can be explained in glossary