(* global activation for non-commercial Raspberry Pi usage *)
raspberrypi	4801-62204-12672	3311-4985-UV978J	0763-819-387:4:1
