Kenji, what do you think, should we / you create a pull request for the proposal? Most seem to be very satisfied with the proposal. In addition, a pull request would rather cause that Walter and Andrei join the discussion.