the end result is that the F() macro prevents the compiler from copying the string literal to SRAM

That's perfect, thank you very much! I've worked with other compilers that did this by default, but I guess this is fine too.