4 ms·

Exactly. Apparently the community feels Ethereum has grown up since 2016, and the time to hard-fork for these sorts of issues has passed.