On 1/21/25 10:27, Miklos Szeredi wrote: > On Tue, 21 Jan 2025 at 09:38, Bernd Schubert <bschubert@xxxxxxx> wrote: >> >> This adds several documentation updates I had missed after >> renaming functions and also fixes 'make htmldocs'. >> >> Signed-off-by: Bernd Schubert <bschubert@xxxxxxx> > > Folded into docs patch. > Thank you Miklos!