[josevalim]

If it comes to this, we will certainly need to have a discussion on the topic. So I am definitely open to discussing the idea!