I can confirm this isn't a bug per se, but rather, that's how the file name is actually stored in the PRX. Notice the ASCII 0x20, which is the space character.
4E 41 56 5F 45 41 53 54 5F 33 20 00 00 00 00 00 00 00
N A V _ E A S T _ 3 ' '
Perhaps our PRX reader ought to trim all trailing whitespace unconditionally.
This won't actually affect games from running, this is only a convenience or a concession for human beings extracting individual files.
For example:
Observe the space character before the dot.
I can confirm this isn't a bug per se, but rather, that's how the file name is actually stored in the PRX. Notice the ASCII 0x20, which is the space character.
Perhaps our PRX reader ought to trim all trailing whitespace unconditionally.
This won't actually affect games from running, this is only a convenience or a concession for human beings extracting individual files.