manual: add dia.comment tag to hello world comment