https://github.com/JabRef/jabref/pull/12710#pullrequestreview-2678113413  Debug of `comment.getBody();` does not include this text:  org.kohsuke.github.GHIssueComment#update looks good - is it a GitHub API issue.