Adding missing verified.png in r495.
Merged SVN r496.
Tuning last lines to avoid potential unwanted outputs.
Fixed translations.
Falling back to old related_results API.