Revision history [back]
It looks like Evgeny included the proposed patch in the master branch askbot, so I'm closing this "question".
Btw my emails to Evgeny fail to be delivered (come back as permanent error), so we'll have to communicate through github :)