So, I installed Ubuntu (Using Gnome) with keyboard layout US International with Dead Keys enabled. Now I've set this to US International with Alt-Gr Dead Keys enabled. I added the latter and deleted the first. I then clicked "Apply to entire system" and closed the keyboard manager.
Now whenever I reboot, the old keyboard lay-out is re-added to the list and set to the default keyboard layout. The keyboard with US International with Alt-Gr Dead Keys enabled is still in that list so it doesn't completely revert to the installation settings, making me conclude that it must have saved the settings...
How can I make this keyboard ghost go to the eternal
/dev/null/ plane so that it will never rise from the grave again? (How to get rid of the thing...)