If someone is already routing all of their device traffic trough Tor by using VPN functionality, do they need to enable Use Tor option in F-Droid client settings?
I’d guess not 
Using a VPN before Tor becomes a SPOF and additionally hampers guard rotation.
Please read this: TorPlusVPN · Wiki · Legacy / Trac · GitLab