The proposed fix looks fine. The original reporter may have been asking for something more sophisticated though: when the user changes their default search engine, the about:tor page should use it (which is how things work for about:home).

The original reporter may have been asking for something more sophisticated though: when the user changes their default search engine, the about:tor page should use it (which is how things work for about:home).

Maybe? I was actually not aware of that feature (seems I used Firefox a long time ago/not in that way). I've opened #21218 for that.

Commit 5047691041679494ff17a2258e2721e7200a91a2 on Torbutton master has the fix that got reviewed.