@heydon So that's clearly a bad answer, but scavenger hunt like, I see how it got there. Pia is quite a popular girls' name, at least in Germany, and PIA is the common abbreviation of Pakistan International Airlines (and it's ICAO code).
@hl @heydon You must be wrong because "the scary thing is we don't know how it works" or something 😉
@krnlg @hl @heydon It's a Pain In the Ass
@hl @heydon You must be wrong because "the scary thing is we don't know how it works" or something 😉