Hello,
why not adding the push notifications to Easydiscuss as you already did for Komento?
I use both extensions and this would be a great integration.

Thank you