Como substituir a versão do aplicativo entre os favoritos do dock do GNOME?

Meu ambiente é o Ubuntu 24.04.1 LTS com GNOME versão 46 em um laptop Acer Aspire A515-46.

Eu estava usando o PyCharm 2022.3.2 (Community Edition), que eu tinha fixado como favorito no dock do GNOME. Outro dia eu atualizei para o PyCharm 2024.2.3 (Community Edition) e presumi que o favorito fixado seria atualizado automaticamente junto com ele. Acontece que não foi. E eu não consigo descobrir como fazer para que ele aponte para a nova versão.

Para começar, desfixei o favorito, executei a nova versão do PyCharm na linha de comando e, em seguida, fixei seu ícone (em execução) no dock. Mas quando saí e tentei usar o novo favorito, ele iniciou a versão antiga (ou seja, 2022.3.2). Da mesma forma, se eu estiver executando a nova versão (que devo iniciar na linha de comando) e clicar com o botão direito em seu ícone no dock --- seja um favorito fixado ou apenas um aplicativo em execução --- e selecionar "Nova janela", essa nova janela aparece executando a versão antiga.

Eu instalei o dconf Editor na esperança de que ele fornecesse um meio de editar qualquer link que esteja fazendo o ícone PyCharm do dock apontar para o executável antigo, mas não encontrei tal recurso. De fato, é decepcionante o quão pouco o Google encontra quando eu peço para ele procurar por coisas como "configurar favoritos do dock do GNOME".

Então, onde os favoritos atuais do dock do GNOME são armazenados para que eu possa editá- los (mais do que simplesmente criá-los e excluí-los). Ou então, por qual mágica da GUI eu posso livrar o GNOME do equívoco de que quando eu peço para ele iniciar o PyCharm, eu ainda quero usar a versão antiga? Eu hesito em desinstalar o 2022.3.2 por medo do que pode quebrar.

[Depois de encontrar minha própria resposta (fornecida abaixo), adicionei a tag .desktop, pois — embora eu não soubesse quando postei a pergunta — essa era a chave para a resposta.]