At least such discussion avoids cluttering the git base in the future.
I'll commit ASAP.