Also, just in case anyone is worried about not having enough bizarrely technical puns in their life: