I can assure you the dev isn't (or isn't the only one) mining.  I've mined a masternode and am still going.