[Finishes #75231370] Karel builder and stringified numbers
Merge pull request #1062 from code-dot-org/karelSaving

[Finishes #75231370] Karel builder and stringified numbers
Remove links to external companies from learn.code.org footer.
Merge branch 'finished' of github.com:code-dot-org/dashboard into finished
Automatically built
Merge pull request #1068 from code-dot-org/finished

DTD