I don't see any mention of the formulation, but I have read in a White Rotary manual that petroleum jelly is an acceptable substitute for motor lubricant. All it's doing is lubricating each end of the armature spindle.
She states in her video to be careful not to push the wick into the armature, but that would never happen, as the armature itself never receives lubrication.