Aha. I figured out I was trying to patch a too-new version. The option you’re taking about is default, but there’s another MicroG option that wasn’t automatically selected. Thanks for the help, I wouldn’t have known where to look otherwise.