docstrip::util Versions