Web player (and editor) have no exit button. Fixes #30