Can we serve GFDL documentation (e.g. gcc-7-doc) on manpages.d.o?

Hey, I was operating under the assumption that we can only serve packages from main and contrib, but I was wondering what your thoughts are: Could we serve manpages from non-free packages? I’m curious both in general and specifically about GFDL-licensed manpages such as the ones from gcc-7-doc.

Serving manpages of non-free packages?

Hey, (please CC me in replies as I’m not subscribed) I was wondering if it would be okay for manpages.debian.org to serve manpages of packages from non-free? Is this something we could just generally do, or are there any restrictions? Does including a link to the copyright file of the package cha