That did the trick. Thanks, anon848905.
Note that you have to have the correct project selected first, before going to the main menu. I thought we didn’t have to do that anymore! Maybe it should be moved to the Advanced sub-menu in the Project menu. It looks like there are some additional options in that menu if you hold down Shift, so maybe it could be added there.