Nice catch. We'll fix it above.

We detached this subthread from https://news.ycombinator.com/item?id=14691107 and marked it off-topic.

Thanks - unfortunately the post is too old to edit. Here's the article :) https://www.bloomberg.com/news/articles/2017-02-15/top-hat-r...