Good question... I think the Modulefile only really matters for using the forge, rather than librarian-puppet + github tags, anyway, so not sure it's relevant for us?