sage-dev: document and doctest DoctestServerProxy