Easier lookup of symbols in the HyperSpec
Use a local copy of the HyperSpec