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

		meatmanek 42 days ago \| parent \| context \| favorite \| on: We shouldn't have needed lockfiles 12 years later, https://alisdair.mcdiarmid.org/kill-sticky-headers/ is still super useful.