Yes, the info is kinda redundant, not wrong though. The two sections could be merged into one with the info being what it is now - but I’m pretty sure there is/was a reason for the two PIC families being handled differently.
the second line concerning the 4685, is actually the second file that you upload after you uploaded the bootloader. And this is done thru midi with the pic in the core.
This information may be confusing for some people.