Der Direct Rendering Manager ist der zentrale Teil des Plugins. Neben der Enscheidung auf Abhängigkeiten zu X zu verzichten, ist das der prägente Teil meiner Philosophie. Ich sehe keinen Grund eine Namensänderung vorzunehmen.
Das ist völlig in Ordnung. Du warst eh der erste mit dem Namen.