always add an empty line between a file comment and a normal comment (no difference between a folding comment or a descriping comment)