Wow, that's such a sweet and romantic story about you and your beloved! Thank you so much for sharing that! <3
To answer your question, he did bump into Mara numerous times because they live close to each other, but being a socially anxious introvert who was often lost in his own world, he didn't pay much attention to her or to most other people around him. So no, he never guessed that they were online friends until the big reveal.
Thank you for taking the time to comment!