Deploy details

Deploy successful for semgrep-docs-prod

Jan 17 at 1:52 AM

PR #1904: armchairlinguist/understand-confidence@7f12d3e