Anyone here mining Filecoin? I've went through the hardware requirements to run the Lotus software and they were savage, at least for the average miner.