Bug 5670: [QA Followup] Fix `div.patroninfo`.