Ok, li isto:
Recebi a seguinte mensagem, então presumo que a atualização para o PostgreSQL 12 funcionou para mim:
Atualização Concluída
Para concluir a atualização, reconstrua novamente usando:
./launcher rebuild app
Estou curioso se esse bug de busca se corrigirá sozinho ou se preciso fazer algo.