On Friday, 7 August 2020 at 23:58:03 UTC, Adam D. Ruppe wrote: > Maybe someday we can link in dub's update to click that button > for you but for the foreseeable future you need to hit it > yourself to update the docs. Got it. Thanks a lot for now, anyway.