[basex-talk] db:list-details() @modified-date not valid xs:dateTime?

Howdy -- I note that the modified-date attribute given in db:list-details() is not a valid xs:dateTime value (being "DD.MM.YYYY HH:MM:SS" rather than "YYYY- MM-DDTHH:MM:SS"). Would a patch correcting this be accepted, or is its current form considered part of the public API? Thanks!