Somehow when I tried to submit this earlier I managed to not paste the url into the form, and unfortunately I can't edit it now, so I'm submitting again. There are no comments on the other one, but if there's some magic that one of the moderators can do to merge them, that probably would make sense.