2021-09-08 14:23:33+00:00 In reply to @htfb @htfb @RichardElwes would you really distinguish between E and F?