EIP-8141 PR: explain gas refunds and block limits
(soispoke). Storage refunds lower what the payer pays, but the block counts execution gas before those refunds, a difference two paragraphs of the spec overlooked. The PR also explains that receipts record the gas charged to the payer.
