Point taken. I'll send a subsequent PR to restore the original extension module name in the configuration file.