Merge pull request #2774 from TheBlueMatt/2023-12-2551-followups
authorElias Rohrer <dev@tnull.de>
Fri, 8 Dec 2023 22:46:43 +0000 (23:46 +0100)
committerGitHub <noreply@github.com>
Fri, 8 Dec 2023 22:46:43 +0000 (23:46 +0100)
Doc and performance followups to #2551


Trivial merge