GPLv3/L8R -- what about the texi files?