On Wed, Oct 31, 2018, 6:55 PM <mcatanzaro@gnome.org> wrote:

Just want to add: the banners don't really look great, and it'd be nice
to see them removed from the installer (or replaced). First there's the

+1