> How do I message another user here?

1. Just add a comment to that question mentioning `@Thijser` in the comment.
The user will get notified.