The files in this directory have been imported from other sources. Do not edit them directly, except by replacing them with new versions.