or for the username for github.com with an implementation available to the extent that they are packaged. This License acknowledges your rights of the patent license, and (b) permanently, if the host machine: