Updating jrp:// download computer (can be temporary change, since DNS of
jrp.humdrum.org is now fixed).