These files are present for historical reasons and do not serve any real purpose. All extension code should be completely contained within the extension and that includes the name of the extension. We should remove all of these files.