More sphinx fixes

Instead of trying to use the github editor, use a real editor to fix the sphinx errors.