This repository was archived by the owner on Nov 10, 2024. It is now read-only.

some fixups

- get rid of property drawers in top levels