`%@` (and `%K`) are supported as well. If this was the only instance testing this kind of replacement, then we should leave it here (and maybe even add some more cases).