GitHub repository: Acidburn0zzz/Headerbar
Description: Abandoned: for better GNOME and overall experience use Chromium. Mozilla dropped ball on Firefox for too long.