Perhaps I missed in the other comments, but is anyone else here shocked by the price tag? That is an outstanding amount of money to pay for Github, certainly a

Perhaps I missed in the other comments, but is anyone else here shocked by the price tag? That is an outstanding amount of money to pay for Github, certainly a very large premium.