I mean, the only reason I'd be writing a FR to ask 'can we not remove @replies from the beginning of a comment' would be because I have a gut feeling that what I described
here actually works, and the only reason I can find for deleting them is 'they're not necessary'. It's kinda hard to argue they are without data :/