IMO no double clicking happened. 12439 and 12440 were not identical posts. Only the first few words were the same.