Looks like @nonetsov hasn't received any replies!