Neither do I know :smiley:

I'd say if the compiler is happy, so am I. As I said, this can be merged without explicitly addressing the comments