But then internet is lowercase and Linux is uppercase and lightning is lowercase and Bitcoin is uppercase?