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

Sign up or log in to comment