Hover over the SE Teachers' Lounge bot's whois messages to highlight the users it refers to in the sidebar