I don't know. When I get bugreports, I usually prefer people who cut to the chase instead of wasting my time with salutations.