Opened this issue 9 months ago · 1 comments
Relates to #595 and #643, which I would like to merge for reasons of clarity of the discussion. Here I post the remaining things we might address.
(moving discussion to #698)