refman_header.tex doesn't have any clear statement on the copyrights or the license of it. Does it have any? -- Felipe Sateler