Bugfixes: actually notify users when mentioned, and support mentions in issue description text