The web font would also be cached, and it wouldn’t be that big of a resource in the first place. I think being able to copy a comment’s content is more important, but whatever.