Merge tag 'v5.0.15-beta' of https://github.com/Jermolene/TiddlyWiki5

Version number update for 5.0.15-beta
Merge branch 'master' of https://github.com/Jermolene/TiddlyWiki5
Merge branch 'master' of https://github.com/Jermolene/TiddlyWiki5
Merge branch 'master' of https://github.com/Jermolene/TiddlyWiki5
Merge branch 'master' of https://github.com/Jermolene/TiddlyWiki5
Merge branch 'master' of https://github.com/Jermolene/TiddlyWiki5
Merge branch 'master' of https://github.com/pmario/TiddlyWiki5
Merge branch 'master' of https://github.com/Jermolene/TiddlyWiki5
remove code causing conversion of text/x-tiddlywiki type tiddlers to text/vnd.tiddlywiki
update to head
Merge branch 'master' of https://github.com/Jermolene/TiddlyWiki5
Merge branch 'master' of https://github.com/Jermolene/TiddlyWiki5 into edit-tags-dom
These changes remove the p-tags from the edit-tags dropdown in tiddler edit mode. ... The changes also take effect to the tiddler-type-chooser popup, since it uses the same css classes.
cover the typeselector in a div-element, because the p-element has unwanted margins
Reorganise control panel tabs
Move control panel autosave settings
Sort control panel en-GB strings
Remove obsolete translations

@BramChen, @xcazin, @pmario: My apologies for the disruption to the
control panel translations. I’m going to continue refactoring for a
while longer, and I’m afraid there are likely to be further changes
Sort control panel translations
Update server command docs