Pro++ is already available in AdGuard DNS/Home,
Pro++ mini is only a size-optimised version for browser adblockers.
This list only contains domains from the Pro++ full that have been found on Top 1M lists (Umbrella, Cloudflare, Tranco, Chrome, ...) in the last 12 months. This list can also be used in DNS adblockers if the size of the Pro++ full is not supported.
Pro++ is already available in AdGuard DNS/Home, Pro++ mini is only a size-optimised version for browser adblockers. This list only contains domains from the Pro++ full that have been found on Top 1M lists (Umbrella, Cloudflare, Tranco, Chrome, ...) in the last 12 months. This list can also be used in DNS adblockers if the size of the Pro++ full is not supported.
I see no reason to include them as well.