12 years later, https://alisdair.mcdiarmid.org/kill-sticky-headers/ is still super useful.