I don't know if it's meant to be a joke, per se. They use (or used) the Unicorn ...

		aaronbrethorst 77 days ago \| parent \| context \| favorite \| on: GitHub is down again I don't know if it's meant to be a joke, per se. They use (or used) the Unicorn server once upon a time: https://github.blog/news-insights/unicorn/ https://news.ycombinator.com/item?id=4957986