Fwiw, Audacity 4 will have a “publish” tab which contains more prominent exporting options all around.