Re: When developing a plugin, where should I put it in the Docker container?

> Is there any chance the
> scanner is being started with a different set of 'include' directories
> or something?

Wow! You hit the nail on the head! I couldn't imagine until I tried 
myself. It would indeed use an internal, global variable "cachedir" - 
which is undefined in the scanner. I'll fix this. But you'll have to use 
a nightly build instead of 8.2.0, eg. "stable". It should be ready in a 
few minutes. Please give it a try and report back. Thanks a lot for your 
persistence!