I think the point is that effort is not tracked as a 10k, so you don't see that in your PR history, etc. Plus it is just annoying to do something big for yourse

I think the point is that effort is not tracked as a 10k, so you don't see that in your PR history, etc. Plus it is just annoying to do something big for yourself and have a tool publicly shortchange you.