Also, it was an opportunity for Zuccotti Park jokes.
Catch up on the most important headlines with a roundup of essential NYC stories, delivered to your inbox daily.
Gothamist is a website about New York City news, arts, events and food, brought to you by New York Public Radio.
