Yes that's @max1zzz 's schematics from reversing the board, which just confirms the other ones. Again, while different versions used some GPIOs for different purposes, there is no "scrambling" of the pins with respect to the regular 65HC05E1, it's just that they started manufacturing masked...