Docs: Add '/', forgotten in first commit (Fixes #931)
Merge pull request #934 from jrajav/clarify-semi-docs-regex

Docs: Add '/', forgotten in first commit (Fixes #931)