previous/3517501-fix-doccomment.missingshort-in/2025-07-20

Branch force pushed by quietone at 2025-07-20T06:42:06+00:00, 3517501-fix-doccomment.missingshort-in moved from this tag to ef9be2bba10a55ad1bc5f0c9fdbc79bc14201baf