The personal-sourcedir and personal-workspace interfaces are redundant when you just declare the home interface in your apps plug section (they both point to non hidden subdirs in $HOME)…
There is also no need to rename the ssh-keys plug, you can just add it to your apps plug section as is.
It’s an odd request but I understand the thought and would encourage it on the security basis, and discourage it on the basis that users don’t read and you’ll probably get bug reports all over the place.
It’s worth considering Ubuntu experimentally has prompting support for the home interface, which will soon be in an LTS release (on lunar scales anyway) - this would allow users to have control over the specific subdirs in $HOME in a way that’d be more flexible in layout and better understood, meaning if they did want just a specific folder, they’d be able to choose that, or more.
Ultimately the choice is yours but experience makes me believe the user experience might lead you to reconsider later.
It’s also not impossible that the personal files interface has quirks home doesn’t. I know recently it was seen that personal files didn’t grant mmap syscall access, so .so files couldn’t be loaded in directories using it, whereas the home interface does give this. That seems fairly relevant to your use case but might not happen practically in your platform I guess.
