More post-merge cleanups for ptmgr
This MR resolves the open discussions from !893 (merged).
Assigning review to @Diziet, since it's their comments I'm addressing.
This MR resolves the open discussions from !893 (merged).
Assigning review to @Diziet, since it's their comments I'm addressing.