Ask HN: Financial advice for stock-holding employees at company that went IPO?