From b8384dc707c60fc9a1260afdee432ea371245082 Mon Sep 17 00:00:00 2001
From: github-actions <github-actions@github.com>
Date: Fri, 22 Dec 2023 13:55:41 +0000
Subject: [PATCH] Re-generated documentation