bug#20887: 'make bootstrap' now verrrry slow due to recent isearch changes

[Eli Zaretskii]

> Date: Fri, 26 Jun 2015 12:41:52 +0100
> From: Artur Malabarba <bruce.connor.am@gmail.com>
> Cc: 20887@debbugs.gnu.org
> 
> If you have any reason whatsoever to prefer the loop (maybe it's
> even more robust if the table ever changes) feel free to push, I'm
> not particular. :-)

I see no reasons to replace your code.