Today in mobile marketing – GrubHub boosts anticipated size of IPO; Twitter #Music pulled from app store, shutting down April 18; Half full or half empty? HTML5’s mixed outlook; Nearly everybody in digital advertising is calling Pinterest for a job.