Rename 'document-lock-manager.php'