suggestion for adding lastSavedDate infromation in the output of datashield.workspaces()

[davraam]

when i look for the list of my saved workspaces in a server using the datashield.workspaces() command, i see a table with information about: server, name, user, lastAccessDate, and size. Is it possible to add in this table something like lastSavedDate to indicate the last time/date we saved the workspace? because we usually save a workspace using a fixed name and therefore we overwrite existing workspaces it might be useful to see the last date that we saved them.