Merge remote-tracking branch 'github/develop' into collected-small-changes

2025-05-06 15:06:43 -04:00
parent 48df0448df c1e9adbd80
commit c0a41bd638
23 changed files with 1839 additions and 532 deletions
--- a/doc/utils/sphinx-config/false_positives.txt
+++ b/doc/utils/sphinx-config/false_positives.txt
@ -1200,6 +1200,7 @@ filesystem
 filesystems
 Fily
 Fincham
+Finkelstein
 Fint
 fingerprintconstants
 fingerprintsperelement
@ -1354,6 +1355,7 @@ Gingold
 Gissinger
 github
 Giusti
+GJ
 gjf
 gjwagne
 gl
@ -3473,6 +3475,7 @@ sectoring
 sed
 Seddon
 segmental
+Seibold
 Seifert
 Seleson
 sellerio
@ -4092,9 +4095,11 @@ versa
 Verstraelen
 ves
 vf
+vfull
 vflag
 vflow
 vfrac
+vhalf
 vhi
 vibrational
 Vij