Bookmarklet to make the substitutions in xkcd #1288