docs: public void writeLine(String pattern, Object... parameters) {
          String line = (parameters == null || parameters.length == 0) ? pattern
                  : String.format(pattern, parameters);
          lines.add(0, line); // we'll write bottom to top, then purge unwritten
          // lines from end
          updateHUD();
      }