As requested in https://tex.stackexchange.com/questions/698605/reformatting-the-labels-in-fitch-sty-proofs