+ ‘banners/devel-3.7.svg’