Thank you for the answer. Good to know!
In the meantime, I've explored node-red-contrib-publishflows from https://github.com/Steveorevo/node-red-contrib-publishflows, but the last update was 17 months ago. With Node-RED 1.0.3, the Publish pane doesn't show up under Project Settings.