[12:01:43] <Amir1>	 (Shameless advertisement) If you want to remove 74 bytes from HTML of every page of logged in users and make logout more secure, review (and hopefully) merge this patch pleaaase: https://gerrit.wikimedia.org/r/c/mediawiki/core/+/511310