invalid result list fixing
Replacing <ul> with <ol> due to "start" attribute presence.
We switched from <ol> to <ul> in part because outdated search index entries are silently dropped, and people whine less if they don't see the numbers failing to add up. ;)
But also because it's uglier.
Drop the start attribute rather than switching back to <ol>, probably.