ß
é na verdade uma ligadura de ss
(em alemão). Qualquer pessoa que use uma tabela para converter Unicode ou outros caracteres do alfabeto estendidos em caracteres "seguros" para coisas como URLs provavelmente a converterá em ss
.
Fazer isso por URLs é normal. Por exemplo, falo turco, onde temos letras não encontradas em inglês como ö ü ı â ğ ç ş İ
. Esses caracteres nem sempre são seguros para usar em URLs, campos de formulários especiais etc. No lugar deles, substituímos caracteres semelhantes, como o u i a g c s I
. Geralmente isso é feito por semelhança visual em vez de som, mas o caso de ß
da semelhança audível com ss
faz com que seja uma conversão comum.
Isso constitui uma perda líquida de dados, mas como uma representação segura de um URL ou outro campo especial que funciona, então no próprio site você pode usar os caracteres reais.
Por que gedit
estaria fazendo essa conversão está além de mim. É um bug.