All feedback is welcome and appreciated! (cc @Ezi @meg @nazneen )

Looks good to me :-)

sgugger changed pull request status to merged

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 :-)

Sign up or log in to comment