@ Orthonormal.
If you want to call someone’s attention, replying directly to their comment is a great way of doing that.
If you want to call someone’s attention, replying directly to their comment is a great way of doing that.