Reason for being non-free: Some .info files are released under the GNU Free Documentation License v1.1 with Front-Cover Text and Back-Cover Text