hercel-smith: code for random voltage lifts, notes