I can tell you that the GitHub code isn’t the code that’s used

really? given that the license is AGPL and they do have some external contributors, they shouldn't be running an unpublished branch of the code!