These are all generated by development/tools/generate_symbols_images.py, the only manual adjustments were renamings due to case sensitive file systems on windows.