Comment by verdverm

2 days ago

I believe the rough separation is, code in git, all the other stuff around it (like what GitHub provides) as lexicon

iirc, a few things are not in lexicon/PDS yet, but intend to be