Put GitHub stars and forks in miscellaneous

cf. #336