Add @top to some misc/*.texi files.