Looks like @danaey hasn't received any replies yet!