This fixes #7646.  The logo in svg format is also included in this checkin.