Editor access to menu: custom post type missing

As ever, when you know the answer it’s maddeningly simple. The custom post types were there all along, together with their taxonomy. All posts are absent from the menu editor and have to be turned on in Screen Options.

I pressed the button and lo, there they were.