 -->
    </div>
</div>
<script src="../js/versions.js"></script>
<script src="../js/version_switcher.js"></script>
<script>
    window.addEventListener('load', (event) => {
        ar_updateVersionList('{{ current_version }}');
    });
</script>
{% endif %}
