WyC: moved over some of the documentation from the new parser.