Mirror web/holo.html from GitHub main (unblock Docker build: COPY web/holo.html not found)

9c55944

verified

betterwithage commited on Jun 14