Removed script that messed up the navigation.
Added a terminology page to the docs