docs: public static BufferedWriter createBufferedWriter(OutputStream stream)
    {
      try {
        return new BufferedWriter(new OutputStreamWriter(stream, "UTF-8"));
      }
      catch(UnsupportedEncodingException unused) {
        throw new BugError("Unsupported UTF-8 ecoding.");
      }
    }