WyC: yet more documentation.  I think I'm about done with that.