[deepsun]

Yep, that would work. I just noted that current GitHub green checkmark doesn't really guarantee anything for the DirectFile repo.