I think I did some recreational mining during the BTC hype of 2017. I didn't do it for long and I doubt its worth anything, but I figure I should try to recover it. Does anybody know where I could start looking? What popular mining software was being used around 2017?