text: import "@lrnwebcomponents/hax-logo/hax-logo.js";
  import "@polymer/paper-card/paper-card.js";
  import "@polymer/paper-button/paper-button.js";
  import "@polymer/iron-icons/iron-icons.js";
  import "@lrnwebcomponents/git-corner/git-corner.js";