does anyone mining?