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