docs/concept: add tag-scoped search for modules

This adds a search widget scoped to "tag:modules" on the modules concept
landing page, and rewords the prose that introduces it.

Preview-Path: /docs/concept/modules/
Signed-off-by: Jonathan Matthews <[email protected]>
Change-Id: I162718ef6a43b998b12229a65be383d83f858268
Reviewed-on: https://review.gerrithub.io/c/cue-lang/cuelang.org/+/1203622
TryBot-Result: CUEcueckoo <[email protected]>
Reviewed-by: Paul Jolly <[email protected]>

content/docs/concept/modules/_en.md

@@ -7,9 +7,10 @@ toc_hide: false
 Modules are how CUE manages native dependencies.
 They can be published to a registry, which allows users to fetch and work with their contents.
 
-Learn about CUE modules using the suggested links below,
-or follow the {{<tag modules>}} tag to explore the full range of modules-related
-pages on the site.
+Learn about modules using these recommended guides, or
+browse through all the {{<tag modules>}} pages listed below:
+
+## Recommended guides
 
 {{<cards>}}
 {{<card title="Reference manual"
@@ -54,3 +55,7 @@ Publishing modules to the Central Registry
 Working with a custom module registry
 {{</card>}}
 {{</cards>}}
+
+## All pages tagged "modules"
+
+{{<search tags="modules">}}

hugo/content/en/docs/concept/modules/_index.md

@@ -7,9 +7,10 @@ toc_hide: false
 Modules are how CUE manages native dependencies.
 They can be published to a registry, which allows users to fetch and work with their contents.
 
-Learn about CUE modules using the suggested links below,
-or follow the {{<tag modules>}} tag to explore the full range of modules-related
-pages on the site.
+Learn about modules using these recommended guides, or
+browse through all the {{<tag modules>}} pages listed below:
+
+## Recommended guides
 
 {{<cards>}}
 {{<card title="Reference manual"
@@ -54,3 +55,7 @@ Publishing modules to the Central Registry
 Working with a custom module registry
 {{</card>}}
 {{</cards>}}
+
+## All pages tagged "modules"
+
+{{<search tags="modules">}}