Use permalinks to deploy all the content from the docs/ web subdir into the top level, rather than having docs/ in every single URL.
Issue: #4111
Use permalinks to deploy all the content from the docs/ web subdir into the top level, rather than having docs/ in every single URL.
Issue: #4111