I don't really super want github to go out of business. But if they do, I hope it is because people realized how dumb broken lame sad their UI and UX is overall. Like, say, anything and everything to do with searching.