maybe. but would cause churn in public api names, which they've avoided by saying that we should rename private stuff