extensions.gnome.org

[Eric Fink <eric buffalobillgoesiceskating net>]

It would seem having a "Last Updated" date for each extension would be quite helpful for spotting significantly outdated/unmaintained extensions, no?