Index: doc/_build/html/search.html =================================================================== diff -u -r17204bab60afe29dcf6eb71d01aa091617147e99 -r57079a87ca2afc81ab7ab3100f1120e83a407cac --- doc/_build/html/search.html (.../search.html) (revision 17204bab60afe29dcf6eb71d01aa091617147e99) +++ doc/_build/html/search.html (.../search.html) (revision 57079a87ca2afc81ab7ab3100f1120e83a407cac) @@ -197,6 +197,13 @@ +