In this Tutorial page (and maybe others) there are instances of <source lang="python"> which are not being interpreted as tags by the wiki engine. Is this a wiki problem, or should these be changed to < code > tags?