Document how to extend Gyoto in the user guide.