A user of the HappyPixels theme asked me how to modify the header image, and I thought I would share the response here.
If you download the HappyPixels theme, you might notice a folder named "svg". In this folder, you can find the original SVG document used to create the theme. This document can be edited with the open-source program Inkscape and others like Adobe Illustrator.
