Open edoardob90 opened 7 months ago
I think we can merge this one as well. It's just renaming.
@despadam I double-checked again the internal links. They seem to work properly. If you want, you can have a look. If something is not working, we can fix it later with a new PR.
@edoardob90 overall looks good! Only needs a couple of fixes and a few cosmetic changes.
Will cover the rest of the suggestions in a separate PR
See #226
Fixes #81