Remove pages cut from development directory
gitlab!85368 (merged) removes two pages from the development directory. Let's get them out of the left nav.
gitlab!85368 (merged) removes two pages from the development directory. Let's get them out of the left nav.