> I hope this unrelated concern didn't prevent you from merging this pull?

Still looking at the rest.