Push to web: use broman-7 rather than broman-6