Bug reports are always appreciated, even if the bug is known to me!
If I know about the bug, then it's a helpful reminder, and if I don't know about it, then I'm extra glad someone told me! Either way, it's a nice gesture, so thank you for that!
