Investors in Ping Identity Holding Corp (Symbol: PING) saw new options begin trading today, for the October 2023 expiration. One of the key data points that goes into the price an option buyer is ...