The mason has finally gotten around to patching the ugly bad repair in the porch brickwork. This is how it looked when we bought the house.
The mason stripped out all the bad brick and then he grabbed some matching bricks from the backside of one of the planters along the front of the porch. We really couldn't find anything remotely matching among new bricks currently available. I'm assuming the mortar will also match once it dries.
We've decided to just use the old bricks from the bad patch to rebuild the planter. All this work, and we didn't actually end up using any new bricks. We reused everything.