Ask HN: Did GitHub UI become unbearably slow?