For anyone using push notifications in Gluon, I've upped the speed at which it checks for new mentions for you account. It previously was every 5 minutes, but will now do it every 1 minute. So things should come through faster.