Updated version information for `hotexit` option.