Argos plugin to show Public IP and DNS info on GNOME topbar
GNOME Shell extension to learn German vocabulary.
