FYI this was mentioned in EIP-2929: Gas cost increases for state access opcodes - #52 by axic and @holiman answered it with EIP-2929: Gas cost increases for state access opcodes - #55 by holiman.
FYI this was mentioned in EIP-2929: Gas cost increases for state access opcodes - #52 by axic and @holiman answered it with EIP-2929: Gas cost increases for state access opcodes - #55 by holiman.