GPL-2+ Texinfo-manual
