Hi, I noticed that on some pages of the OpenBSD site, like: + https://www.openbsd.org/mail.html + https://www.openbsd.org/openssh/portable.html
Both use "Github" instead of "GitHub" in some form. The correct capitalization is "GitHub", as seen for example by going to the bottom of https://github.com/ and seeing "GitHub, Inc.". According to https://www.openbsd.org/faq/faq1.html, OpenBSD has a priority of correctness. However it does not seem that using a incorrect capitalization of a word is correct. I want to know if this is a simple mistake, or is intentional. I've seen some projects do not agree with GitHub in some form and use it to show criticism.

