PyPI package name conflict

[jeanthom]

Turns out there is already a Python package named "gram":

[jeanthomas@computer gram]$ pip search gram
gram (0.2.1)                    - gram: GitHub Repo Account Manager

https://github.com/kawa-kokosowa/gram

Should we rename gram? Do messy things like naming the package nmigen-gram?

[jeanthom]

Currently in the process of contacting the owner of the repo, no luck so far.