The extension location was only printed, if there was no handler for the newly created extension. This is confusing for new extension developers. So always print the extension location. Fixes #2515. Part-of: <!1856>