Ok I see, it's currently only documented as part of the breaking changes:
Go to the documentation page for the synonym token filter in our Github repo, select the "Edit this file button" and commit the change as "Create a new branch for this commit and start a pull request."
Thank you very much for contributing.