Remove unused DocumentManager. Maybe from the mousewheel tests?