updateTitle is no longer needed since we now have DocumentTitleAPI

taking care of titles in 0_navbar.js (part of tutti.min.js)

src/templates/layout.pug

@@ -321,10 +321,6 @@ html(lang="en")
 				{% if current_user.is_authenticated %}
 					getNotificationsLoop(); // Check for new notifications in the background
 
-					$('body').on('pillar:notifications-total-updated', function(e, notifications_total) {
-						updateTitle(notifications_total, page_title);
-					});
-
 					// Resize #notifications and change overflow for scrollbars
 					$(window).on("resize", function() { notificationsResize(); });
 				{% endif %}
@@ -340,8 +336,6 @@ html(lang="en")
 		| {% block footer_scripts_pre %}{% endblock %}
 		| {% block footer_scripts %}{% endblock %}
 
-
-
 		script.
 			(function(i,s,o,g,r,a,m){i['GoogleAnalyticsObject']=r;i[r]=i[r]||function(){
 			(i[r].q=i[r].q||[]).push(arguments)},i[r].l=1*new Date();a=s.createElement(o),