Merge pull request #1403 from AayushSabharwal/as/fix-manifest

fix: fix `Symbolics` benchmark group manifest

Author: ChrisRackauckas

benchmarks/Symbolics/BCR.jmd

@@ -185,7 +185,7 @@ end
 ```julia
 tabledata = hcat(N, jacobian_times..., jacobian_allocs..., build_times..., first_call_times..., second_call_times...)
 header = ["N", "Jacobian time (no hashconsing)", "Jacobian time (hashconsing)", "Jacobian allocated memory (no hashconsing) (B)", "Jacobian allocated memory (hashconsing) (B)", "`build_function` time (no CSE)", "`build_function` time (CSE)", "First call time (no CSE)", "First call time (CSE)", "Second call time (no CSE)", "Second call time (CSE)"]
-pretty_table(tabledata; header, backend = Val(:html))
+pretty_table(tabledata; header, backend = :html)
 ```
 
 ```julia