> It’s also not clear what the “pmk” in /etc/paths.d/10-pmk-global refers to.
Maybe package management kit, if we go by recent Apple naming conventions.