We don't use that info for anything, and it generates unnecessary diffs every time we bump the minor version (and CI failures if we forget to sync some files from opt-in modules (mono, text_server_fb).
Keep on waitin'
Can't stop, won't stop, they said, huh?
Also fixes a slightly misleading comment in `Node.print_tree_pretty`.
Rémi Verschelde
Micky
Yuri Rubinsky