On Wed Feb 7 10:42:08 2024 +0000, Nikolay Sivov wrote:
Yes, it's possible to do, but I wanted to keep it as simple as possible first, avoiding conditionally added format fields. There won't be any more duplication there than it already is.
Ok, fine.