some tweaks to docs script to publish workshops to main site