On Fri, Jul 15, 2022 at 12:36 PM David G. Johnston <
david(dot)g(dot)johnston(at)gmail(dot)com> wrote:
>
> I would ask that we at least rename it to:
>
> Disk Usage Functions
>
>
Nevermind...I identified the scope of that header incorrectly and the
rename wouldn't be appropriate for the other tables in that section.
David J.