And make both RSS/files miners keep their data separated (intended
as per 3.0 design, but also multiple writers on a same DB is a recipe
for disaster).

As that data is separated now, and --hard vs --soft makes no difference
in "tracker reset" CLI command, make those be --rss/--files to delete
specific miner data.