Issue #12644: document the '%a' conversion in the old string formatting operations. Patch prepared together with Ezio Melotti