2 ms·

Fair point, I don't know. I wouldn't be in favor of the carve-out either way, because I can't imagine it being sustainable to preserve it for long.