loading code: version mismatch

[soegaard]

I got this error message in DrRacket 8.12.

The solution suggested is fine:

possible solution: running racket -y, raco make, or raco setup

However, it would be neat if I could solve the problem from within DrRacket.
[Like the way uninstalled libraries can be installed.]