Typos CI + remove old docs

[ArnoStrouwen]

No description provided.

[github-actions]

Benchmark Results

	master	1cb6481...	t[master]/t[1cb6481...]
overhead/acrule/a+2	0.733 ± 0.013 μs	0.712 ± 0.021 μs	1.03
overhead/acrule/a+2+b	0.72 ± 0.014 μs	0.711 ± 0.019 μs	1.01
overhead/acrule/a+b	0.267 ± 0.0085 μs	0.25 ± 0.013 μs	1.07
overhead/acrule/noop:Int	26.2 ± 0.011 ns	25.6 ± 0.019 ns	1.02
overhead/acrule/noop:Sym	0.0341 ± 0.0049 μs	0.0338 ± 0.0044 μs	1.01
overhead/rule/noop:Int	0.0377 ± 0.00041 μs	0.0385 ± 0.001 μs	0.98
overhead/rule/noop:Sym	0.0421 ± 0.0015 μs	0.0433 ± 0.0016 μs	0.971
overhead/rule/noop:Term	0.0427 ± 0.0017 μs	0.0432 ± 0.0019 μs	0.989
overhead/ruleset/noop:Int	0.125 ± 0.0037 μs	0.126 ± 0.0047 μs	0.989
overhead/ruleset/noop:Sym	0.141 ± 0.0069 μs	0.141 ± 0.007 μs	0.999
overhead/ruleset/noop:Term	3.36 ± 0.15 μs	3.5 ± 0.18 μs	0.962
overhead/simplify/noop:Int	0.144 ± 0.0029 μs	0.151 ± 0.0015 μs	0.951
overhead/simplify/noop:Sym	0.159 ± 0.0022 μs	0.171 ± 0.0021 μs	0.925
overhead/simplify/noop:Term	0.0376 ± 0.002 ms	0.0376 ± 0.002 ms	0.998
overhead/simplify/randterm (+, *):serial	0.117 ± 0.0015 s	0.116 ± 0.0033 s	1.01
overhead/simplify/randterm (+, *):thread	0.0742 ± 0.022 s	0.0741 ± 0.025 s	1
overhead/simplify/randterm (/, *):serial	0.22 ± 0.0061 ms	0.217 ± 0.0058 ms	1.01
overhead/simplify/randterm (/, *):thread	0.249 ± 0.0073 ms	0.251 ± 0.0072 ms	0.994
overhead/substitute/a	0.0612 ± 0.0015 ms	0.0602 ± 0.0014 ms	1.02
overhead/substitute/a,b	0.0549 ± 0.0018 ms	0.0541 ± 0.0016 ms	1.01
overhead/substitute/a,b,c	17.2 ± 0.68 μs	16.5 ± 0.69 μs	1.04
polyform/easy_iszero	0.0323 ± 0.0016 ms	0.0334 ± 0.0017 ms	0.967
polyform/isone	2.79 ± 0.01 ns	2.79 ± 0 ns	0.997
polyform/iszero	1.75 ± 0.035 ms	1.8 ± 0.036 ms	0.971
polyform/simplify_fractions	2.34 ± 0.041 ms	2.41 ± 0.042 ms	0.968
time_to_load	4.53 ± 0.0097 s	4.54 ± 0.011 s	1

Benchmark Plots

A plot of the benchmark results have been uploaded as an artifact to the workflow run for this PR.
Go to "Actions"->"Benchmark a pull request"->[the most recent run]->"Artifacts" (at the bottom).

[ArnoStrouwen]

@ChrisRackauckas CI/test failure unrelated?