Destacando usuarios y bots actuales en las publicaciones

[davidb]

Debería estar arreglado con este commit: FIX: mention highlighting with case insensitive usernames (#38718) · discourse/discourse@a5c7f6f · GitHub