They went further than the greenshoe - Matt Levine has a great post breaking it down (see the second section of his post here: https://www.bloomberg.com/opinion/articles/2019-05-15/wework...).