Closed kkappler closed 2 weeks ago
To me, this fully suffices to address #332. Very good.
There's a minor typo, see above; apart from that this can be merged. (No need to add me as an official reviewer on the PR, unless you would prefer it that way.)