Use a custom role for info cross references
Remove the old texinfo manual and related files
Re-license Sphinx extensions

There is no reason to put these under GPL.