
<!--
    This file lists references used by the website and need to be maintained
    within the document.

    Note that the blank line after this comment is required, to keep
    pandoc(1) happy when formatting.
  -->

