Fixes issue #250 relating to an inconsistent structure of the side menu between 3.x and 4.x documentation.