http://translate.google.com never translates <code>...</code> . It is therefore not necessary to write <code translate=no> or <code class=notranslate> . I think this is a good idea.
Could <code translate=no> be made the default in HTML5 for the code element?
