Ask HN: How much did you earn from your stock options during exit?