On Holding (ONON) Just Had Its Worst Trading Day Ever. Did Investors Overreact?