- remove the ''last change'' from the contextual navigation links, already quite crowded
- instead:
- linkify the ''Last modified ...'' information at the bottom of the page, when displaying the last version (#8488)
- when displaying another version, add a (__diff__) link after the Version info in the version panel at the top of the page