Side note but is it really that crazy for Github to implement a feature to see file size of a repo?