Valentin Gagarin 59be1e500a generalize anchor redirects ... renaming section headers and changing manually set `id`s will break URLs in the wild. this change allows keeping track of all changes to ensure backwards compatibility.		2022-09-06 00:49:16 +02:00
..
manual	generalize anchor redirects	2022-09-06 00:49:16 +02:00