gnu: move miscfiles into gnu-doc.scm