Trivial improvement of developers' testing page.

Rebase of last commit of #280 back to dev_4_4.