This October was the hottest on record globally, 1.7°C (3.1°F) warmer than the pre-industrial average for the month—and the fifth straight month with such a mark in what will now almost certainly be…