You can submit a help ticket to discreetly report the player.
In-game F7 reporting should be used only for players who are hacking/cheating or experiencing game bugs, as it captures all the relevant info and Easy Anti-Cheat needed to investigate them by Facepunch.