I never find such a statistic. I don't think they will answer either since it might affect their privacy. I'd assume the time they spent working on coding will take more time compared to other activities, so it's unlikely for them to focus on running a mining rig. Running a node is still possible IMO, which is done by many people too. CMIIW.