Destacando usuários atuais e bots nos posts

[davidb]

Deve ser corrigido com este commit: FIX: mention highlighting with case insensitive usernames (#38718) · discourse/discourse@a5c7f6f · GitHub