@quid Now everything works as expected. (It probably just took some time.) When I add proof-verification, it is changed to solution-verification and it is now also listed as synonym.