Add Developer Menu toggle. Fixes #3296.