4.0.0 Release#106

Merged

nblumhardt merged 13 commits intomainfrom

Nov 9, 2023

Commits on Aug 31, 2023

Accessors such as a.B should be case-sensitive
nblumhardt
committed

Commits on Oct 3, 2023

Commits on Nov 9, 2023