Release tweaks - header, filenames, etc.