Pinning down the essential parts of Pinterest’s IPO