Essa coisa da "lista ser a mesma toda vez que o __init__
é chamado, pode parecer estranho, mas justamente, uma característica de Python é que não tem "exceções" - esse comportamento foi menos planejado, do que ser uma consequência de como a linguagem funciona. É que pra quem é iniciante não dá pra ter noção de como ela funciona de fato - o comando "def" que cria funções é executado quando um arquivo .py é importado - a execução do comando "def" cria um objeto "function" que é uma instância de "FunctionType". Um dos atributos de uma function é seu código. Outro dos atributos é os argumentos padrão - o objeto colocado como argumento padrão vira um atributo da Função e é o mesmo em todas as chamadas.
Então, sim, o pessoal que é responsável por evoluir a linguagem sabe bem que é um comportamento anti-intuitivo, e é uma armadilha pra qualquer um que não estude a linguagem a fundo - mesmo que a pessoa tenha muita prática em outras linguagens - mas a opção foi no passado por não criar uma exceção nesses casos - e hoje nem que se pensasse diferente, não é possível mudar por conta da quebra de compatibilidade. O melhor negócio é entender essa característica e usar a seu favor. (E se uma IDE não alertar para o uso de uma lista ou um dicionário como argumento padrão, o certo era abrir um bug contra a IDE)