issue solved in 9.14.0 which means a while back so no longer relevant.
word about contributions in the FAQ.