see #8832 - Hide "export/convert to GPX" menu entries from contextual osm data layer in beginner mode to be consistent with File menu entries that are only displayed in expert mode

git-svn-id: http://josm.openstreetmap.de/svn/trunk@6039 0c6e7542-c601-0410-84e7-c038aed88b3b
fix #8827 - HTML rendering differ if run before or after having launched Help Browser

git-svn-id: http://josm.openstreetmap.de/svn/trunk@6040 0c6e7542-c601-0410-84e7-c038aed88b3b
Merge branch 'master' into mirror