<!DOCTYPE html>
<html id="docHTML">
<head>
  <meta content="text/html; charset=UTF-8" http-equiv="content-type">
  <link type="text/css" rel="stylesheet" href="mash.css" />
  <script type="text/javascript" src="mashlib.min.js"></script>
<script>
document.addEventListener('DOMContentLoaded', function() {
    const authn = UI.authn
    const authSession = UI.authn.authSession
    const store = UI.store
    const $rdf = UI.rdf
    const dom = document
    $rdf.Fetcher.crossSiteProxyTemplate = self.origin + '/x