Permission is granted to copy or distribute this manual provided that it is not modified and this copyright notice is retained intact.