Update src/disco/ast/comment.go