Acho que descobri o problema - foi o layout incorreto do teclado.
Eu não reconheci a princípio porque a maioria das chaves estava correta.
Eu tenho um problema com minha configuração do gnome em casa (no trabalho, tudo está bem com a mesma versão 3.24.2).
Se eu escrever um texto contendo um backtick, o comportamento do texto está confuso.
Se eu tentar excluir a letra que tem o sotaque grave sobre ela, ou se eu tentar excluir um backtick autônomo em si, o backtick às vezes salta na letra que está correta para o cursor.
Se eu copiar um texto desse tipo e salvá-lo como arquivo txt e abri-lo em um editor hexadecimal, poderei ver que esse backtick é representado como: 0xCC 0x80 em vez de 0x60.
Isso não acontece o tempo todo, e eu não fui capaz de dizer quando e como isso acontece exatamente.
Alguém sabe por que isso pode acontecer e como eu poderia resolver isso?
Tags gnome linux arch-linux