chore: do not remove .html extension when deploying docs site

Following the changes in commit 43aae48, we no longer need to remove `.html` extensions from page files. It will make the correct routing impossible. Instead, the CF function will handle the rewrites.

Author: ivan-aksamentov

Diff for: docs/deploy

@@ -22,9 +22,6 @@ pushd "build" >/dev/null
   # Remove non-HTML files
   find . -type f \( ! -iname "*.html" \) -exec rm {} \+
 
-  # Remove .html extension
-  rename --filename 's/\.html//' **/*.html || true
-
   # Upload extensionless HTML files
   aws s3 sync \
     --delete \
@@ -33,6 +30,7 @@ pushd "build" >/dev/null
     --cache-control "max-age=0, must-revalidate" \
     --metadata-directive REPLACE \
     --exclude "*.*" \
+    --include "*.html" \
     . "s3://${AWS_S3_BUCKET}/"
 
   # Update Cloudfront cache