Deal with changing filenames #30
Description
Changes to the code/original judgments could result in some judgments being moved to different locations. We should add links or redirects in this case since someone may have linked to the old location.
This is probably unlikely to occur in practice, but it should be easy to take care of.