Sure; I referenced the pattern in `Diff` here since I didn't see anything in `Proxy` offhand that converts a user-visible options type into a libgit2 type, but I'm happy to move this into Proxy.