feature: profile settings moved to the sidebar

public/index.html

@@ -147,6 +147,13 @@
 		window.addEventListener("locationchange", update_topics);
 		document.addEventListener( 'user_logged_in', update_topics );
 
+		document.addEventListener( 'user_logged_in', () => {
+			const user = document.body.dataset.user && JSON.parse( document.body.dataset.user );
+			if ( !user ) {
+				return;
+			}
+		});
+
 		/* check if we are logged in */
 		(async () => {
 			try {