I know you are trying to help, but you don't have to report Double Posts caused by forum lag. It's a problem that cannot be avoided, and we do not warn people when it happens. Actual double posts are when the two posts in a row are different and have a time gap larger than a few seconds.