Looks like @danaey hasn't received any replies!