Enable optional private ticket footnote#28

Merged

msuchane merged 6 commits intomainfrom private-footnote-24

Oct 30, 2023

+262-27

Commits on Oct 27, 2023

Detect the private ticket footnote; #24
Marek Suchánek
committed
Always display the private ticket footnote; 24
Marek Suchánek
committed
Display the private ticket footnote only when enabled in project; #24
Marek Suchánek
committed

Commits on Oct 30, 2023

Adjust logging with the private footnote
Marek Suchánek
committed
My cat contributed to this documentation
Marek Suchánek
committed
Document the private ticket footnote option; #24
Marek Suchánek
committed