In reply to a tweet by tabatkins:

@tabatkins it’s too bad this margin is too big to contain your solution…