2023-01-08: initial release, tagged 0.1.0

