Delete dead code that isn't used anymore, as it's now automatically provided by DOM support