sage-dev: work towards making the git interface doctestable