fixup! [#8464] add noindex, follow header for list tools
1 file changed