Update demo to 1.7.2
Shimmy that down.

Doesn't seem to load for me with the script at the top (though it also
doesn't show up in the document where that's pulled in, but that's less
urgent than the demo being completely AWOL)