Caso alguém se importe com isso, descobri uma maneira melhor de conseguir isso. Registrando um novo esquema de URI (uma entrada de registro em HKEY_CLASSES_ROOT) que inicia um script auxiliar para modificar a URL conforme necessário. Isso nos deu mais flexibilidade para trabalhar com outros sites, se necessário.