Shall we possibly not translate the words enclosed in <code> tags? If so, that needs to be documented.