Document behavior of -Wformat-nonliteral, it is different from GCC