Nah, at oneliners maybe, but when you're writing real comments, you'll need the space to visualize where the comment ends. If anything, the line with permalink end so on could have a little bit less margin on the bottom. But that's nitpicking.