docs: public static String getAttributeString(Tag tag, String attrName, String defaultValue) {
  	Literal lit = getAttributeLiteral(tag, attrName, null);
  	if (lit == null) return defaultValue;
  	return lit.getString();
      }