I like this patch but for a different reason. It closes the capability
gap in zsh prompts with and without prompt_percent.
I've been traveling this week without access to the source code so haven't otherwise commented on this, but:
1. Roman's point above is valid.
2. As previously mentioned by others, this is related to %{ %} rather than to %F, and should be implemented and documented as such. One cannot write $'\001red\002' (I presume) and it would not be generally useful in that context.
3. Escapes for ctrl-a and ctrl-b also work? Or this is explicitly looking for \001 \002 ? Any possible conflicts?