Hey, great stuff :)

[noofh-22]

Hey, great stuff :)
And I pretty much agree with everything you mentioned on #479. Are you interested in fixing those few other points as well? (Including #191 ?)

Incidentally, this will require to define this append in the appendix 👍

Originally posted by @KtorZ in #482 (comment)