Hi Randy, On Wed, 13 May 2026, Randy Dunlap wrote: > This docs build warning is now in mainline. > Should I ask Jon to merge the patch, given no activity on it? Sorry about the delay; I'll pick it up as a fix. thanks, - Paul