13 for the username for github.com with an implementation is available to the extent that they are valid under applicable patent law.