Learn more about cloning repositories
You have read-only access
Revert "Clean up handrolled Binder proxies." This reverts commit df6611d8c0cd69c3dcb93462eb138e0bbf137b88.