Though the origin of both names is indeed the same: https://blog.system76.com/post/622541723365769216/the-meaning-behind-system76 https://blog.system76.com/post

Though the origin of both names is indeed the same: https://blog.system76.com/post/622541723365769216/the-meaning-behind-system76 https://blog.system76.com/post/622541723365769216/the-meanin... Thus proving 76 is not the smallest uninteresting natural number.