Thank you very much! That has sorted it all out. My searching was not being very forthcoming about where to find other plugin dirs. For my own education… where are my real plugins living?
PS.: The Tips & HowTos category is for writing tips, not for asking about issues. I moved the topic to the Docker Desktop for Windows category
My thanks again, I wasn’t sure (obviously) where I should post.