Our web pages are in dire need of maintenance. I'm going to begin there. I'm mostly going to get rid of the obsolete svn advice and replace it with git advice, plus prune stuff that is obviously ancient and obsolete. Just to make sure, other than committing to web.git, what else needs to happen for the changes to be reflected in the webpage? Thanks, - Jordi G. H.