docs: public static String readStringAttributeElement(final XMLStreamReader reader, final String attributeName)
              throws XMLStreamException {
          final String value = requireSingleAttribute(reader, attributeName);
          requireNoContent(reader);
          return value;
      }