VersionUtil: add getManifest(.., String[] extensions) variant, allowing detection of multiple ordered extensions