Hello, Bas, thanks, I don't mind it at all.
I've pushed the merge on my github (it merged without any conflicts and the test cases ran without any problems). Sorry it took me so long to get back to this. Daiki, can you please review it and tell me if there's anything else that needs to be done to get this merged upstream? Thank you very much! (Regarding the copyright assignment, as Bas said, it's already done.) -- Best regards, Ľubomír Remák
