@pluralistic As a sicko, I use an advanced tool called "rsync" to deploy "html files" from my "git repo"