WIP:deprecate DocumentManager.setCurrentDocument