EditSession : dartdoc tweak