I think we should keep the underscore on it (see below).  It's only used for a "secret handshake" between DocumentManager and EditorManager, and it's basically unsafe for anyone else to be calling it -- so it should be marked as private even though it's not quite 100% hidden.  We've done this in other similar cases too.