Closes #19: add a link to original comment in body.