remove links to other probcomp projects at the bottom