docs: def emptyElement(self, name, attrs):
          """Add an empty element (may have attributes)"""
          attr = ' '.join('%s=%s' % (n, quoteattr(scientificformat(v)))
                          for n, v in sorted(attrs.items()))
          self._write('<%s %s/>' % (name, attr))