better styling for diff page
diff page: redirect to correct URL

If version numbers in wrong order, do automatically redirect.