Most images are generated by development/tools/generate_symbols_images.py, but some were drawn manually. Now there is no image missing from the ones the script can generate.
