+ clarify documentation of class DockWindowManager