Hi @patrickvonplaten,
Thank you for your kind comment! I’d love to make a PR to push my changes to the library.
I now understood that the special tokens will be included in the max_source_length.
After adding some fixes (such as max_source_length setting and removing comments for myself), I’d like to make the PR in this week.