On that note seems like after ruckus about Hector Martin's PRs not getting merged, things are calm but progressing.