[gentoo-dev] Guidance on distributed patented software

[Alec Warner]

The devmanual discusses licensing as a core concept
(https://devmanual.gentoo.org/general-concepts/licenses/index.html)
but does not cover patents. My understanding is that we:

 - set RESTRICT=bindist when we are unable to redistribute binaries
(e.g. due to a license or patent restriction.)
 - set RESTRICT=mirror when we are unable to redistribute source code
(e.g. due to a license of patent restriction.)
 - Sometimes, we remove patent encumbered source code from packages
(e.g. with USE=bindist) so that we can build redistributable binaries
with the patented features removed.

Could we add some text to the license concepts covering patents? It
seems to have been omitted?
Is my understanding of how we manage patented software correct?

-A