Comment 5 for bug 927952

I would not expect this to change, gnome changed it, unlikely ubuntu will revert
(similar to when gnome changed the file naming of screens from <whatever>.ext where <whatever> was based on window title & made 'sense', to the current date/time format
Didn't like that but nothing to be done other than redoing the source which wasn't worth it