OK, doing a very bad thing by commiting to a tag, but it's only changing the .pxt file to a .pxp file. (I've done the same change in Dev/trunk)