Luis Javier Merino authored Jun 01, 2022 and Tomaz Canabrava committed Jul 03, 2022

Walk over LocalTabTitle just once looking for percent signs, and doing
the appropriate substitution based on the next character.

This not only is slightly more performant, but also avoids trouble if
one of the substitutions happens to contain a percent sign.