BTC was at $72,940 15 minutes earlier; its reported one-hour change was down 0.39%.