Fix Options.jl docs

[wsmoses]

No description provided.

[github-actions]

Benchmark Results

	master	83f109c...	master/83f109c6c4bdfe...
search/multithreading	21.8 ± 1.4 s	20.9 ± 2.6 s	1.04
search/serial	32.9 ± 0.64 s	32.3 ± 0.21 s	1.02
utils/best_of_sample	1.91 ± 1.6 μs	1.79 ± 1.5 μs	1.07
utils/check_constraints_x10	12.1 ± 3.2 μs	12.2 ± 3.2 μs	0.998
utils/compute_complexity_x10/Float64	2.08 ± 0.11 μs	2.08 ± 0.12 μs	1
utils/compute_complexity_x10/Int64	2.06 ± 0.11 μs	2.06 ± 0.11 μs	1
utils/compute_complexity_x10/nothing	1.45 ± 0.1 μs	1.45 ± 0.11 μs	1
utils/insert_random_op_x10	5.85 ± 1.8 μs	5.84 ± 1.9 μs	1
utils/next_generation_x100	0.444 ± 0.11 ms	0.348 ± 0.12 ms	1.28
utils/optimize_constants_x10	0.0365 ± 0.0085 s	0.0374 ± 0.0086 s	0.974
utils/randomly_rotate_tree_x10	5.27 ± 0.57 μs	5.26 ± 0.59 μs	1
time_to_load	1.75 ± 0.046 s	1.8 ± 0.031 s	0.975

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).

[MilesCranmer]

Thanks!