I think it's better to have something that nothing and that any comments can be addressed in a follow-up PR, so merging this :-)

sgugger changed pull request status to merged
Your need to confirm your account before you can post a new comment.

Sign up or log in to comment