[onefiveone]

https://extensions.gnome.org/extension/5143/dashbar

if you just want quick launch, this is ~500 loc and gets updated on time for new gnome releases