allow push notifications in the web again, deal with queue
Updated docs, minor bugfixes