so i guess we're all in agreement that we should retag the headers of files with a format like: /* * <description of file> * * <copyright lines> * * Licensed under the GPLv2 or later, see included LICENSE file for more info */ -mike