
                  {{ end }}
              </div>
            </div>
          </div>
        </div>
      </div>
    </div>
</div>
</article>
</section> <!-- container -->

<script>
window.onload = function(){
  var anchor = $(location).attr("hash").substring(1);
  var elem = $(document.getElementById(anchor)); // Directly $(id) does not work
  if (!elem.is(":visible")) {
    if (anchor.startsWith("release")) {
      var tab_name = elem.parent().parent().parent().attr("aria-labelledby");
      $("#" + tab_