"Report a mistake" in the codelabs brings up this screenshot. Wouldn't it be better to just bring you to github to file an issue? For example, I found a typo that I reported through this pop-up a while back and it's still there. Wouldn't taking you to the repo be a better tracker for this sort of thing?