Rewrite error index generator to greatly reduce the size of the pages#100922

Merged

bors merged 3 commits intorust-lang:masterfrom GuillaumeGomez:rewrite-error-index

Aug 24, 2022

+129-225

Commits on Aug 23, 2022