Permission is granted to copy and/or distribute this file, with or without modifications,
provided this notice is preserved.