Update documentation to point to new repository and current list of supported
instructions.