Return real page titles and URLs for devtools tab choices.

Fixes #4167.