I wouldn't worry about duplicate registrations, and I don't know if we
shouldn't just strip all the getters and be done with that.. There are
already the autoload_*.php files to know about the config, so there
isn't much point in having those getters I think.