On Thursday, 10 October 2019 at 20:28:20 UTC, Cristian Becerescu wrote: > It's time for a new update, so here we go. Sorry for those long > posts :) > > [...] Could you please file issues on github so I can fix them? Thanks.