Ryan, >> Revision: 112006 […] Thanks for you ongoing alertness. I’ve taken into account all but one of your remarks: I couldn’t tweak the github port to fit that obviously non-standand repository, so I just left the master_site and all other variables as is. Thanks once more. Vincent