Are the pictures below of the bearded didactic programmer Alan Dix, or, er.. the bearded didactic programmer, Alan Cox?