@heroiclauncher Many thanks for the detailed reply. I look forward to read what the team decides when it does :) Also, I believe GitHub recently decreased the amount on free(and even some paid) rates/tokens you'd get, so using it might get expensive fast. PS: even if there are a 100 PR's, I personally would rather see people take their time and do things right. As far as I know, you are not under a SLA ;-)