He did set the share price for his Twitter offer to 54.20 as a reference to that, but it wasn't the cause for his offer for the company. I think quite a lot of people are conflating the two events.
Reply on news.ycombinator.com