<script type="text/javascript">
  document.addEventListener('DOMContentLoaded',function() {
      document.getElementById("table-of-contents").onclick = function() {
          var elem = document.getElementById("text-table-of-contents");
          elem.style.display = elem.style.display == "block" ? "none" : "block";
      }
  });

  var url = document.location.href;
  var orgsource = url.substring(0, url.lastIndexOf("."))+".org.html";
  function show_org_source(){
      document.location.href = orgsource;
  }
</script>

<div id="support">
    <p>Support via <a href="https://liberapay.com/bzg" title="Donations always help.">Liberapay</a>, <a href="https://github.com/sponsors/bzg" title="Donations always help.">GitHub</a> or <a href="https://www.paypal.me/bzg/10" title="Donations always help.">PayPal</a></p>
</div>