The post text was entirely different; if it was a connection-related double post the text would be the same. I have used a 3DS browser before, I'm pretty sure the only way you could double post like that is by either doing it intentionally or paying little to no attention to what you're doing.