my suggestion would be to message her about it if you are concerned it might happen again, anon! the player seems friendly enough and does seem to listen so it never hurts to try

then again I'm just another wanker on this site so ultimately the decision is up to you