---
---
{% include base_path.html %}
{% include gh_variables.html %}
{% if page.redirect %}
{% endif %}
{% include favicons.html %}
{{ page.venue }}: {{ page.humandate }}
{% include navbar.html %}
{% include workshop_ad.html %}
{{ content }}
{% include workshop_footer.html %}
{% include javascript.html %}