GNOME Dash To Panel Extension Development Being "Passed On"

The GNOME Dash To Panel extension that allows moving the dash into the GNOME main panel has proven popular with GNOME desktop users for an integrated icon taskbar and status panel on GNOME Shell. Unfortunately though one of the main developers to Charles Gagnon is "passing on" development of the extension moving forward...