known_users now have an hl_pseudo, to avoid beeing highlighted
fixed (and updated) translations (but not translated :°)