10/13/2021 (Wed) 15:55:43
Seems it. Pull-request may initially have gotten some 16 comments, but none of them really complain about the code itself. That's a plus on its own.
Second review-round tomorrow. I expect 5 or 6 this time, all minor>just
Just good, hai