Code Editor : restdoc.py