  * Generate icons from typicons, and optimize with
    contrib/devtools/optimize-pngs.py.
