While this is a very handy macro I do not like the fact that it changes the way source hyperlinks are displayed: the change from blue to grey. That does not happen when you change the proof language manually.
Is this a bug or intentional?