Ah, yes, I wasn't sure if creating a vinyl File from scratch would have other implications I didn't know about. 7b850e40671bf12a1a1e873e153c85ef4a8c96e5 addresses this.