When I posted I was referring to synths whose raison d'etre is MPE (like the ROLI Equator). Many of the ones you mentioned started their life before MPE was introduced.
Nonetheless your list is very useful because -- aside from the few that I own -- I was not aware that this many synths actually support MPE. So thanks for taking the time to list them.
Also, I wonder if it's even meaningful to distinguish between MPE by-design and MPE added-later synths because it seems that what makes MPE most useful is the ability to modulate so many parameters in just one place (like on just one key), and that requires an MPE controller.