migrated push-editor-hint actions to toggle action and make use of global settings only
Merge branch 'master' of github.com:mbeddr/mbeddr.core
push hint action now also works for multiple hints
handling special case where no required concept is given