Missing Puerto Rico flag

Although there is an option to use the flag of Puerto Rico for the Spanish translation, there is no es_PR.png in the plugin’s /assets/images/flags/ directory. If you add the flag image to that directory, it looks great until you update the plugin, then it disappears again. I used the instructions here to create a standalone plugin just to fix this, but it seems like a simple enough problem that this shouldn’t be necessary.