[Patient0]

which makes sense because I believe that polars was written by the same guy that did pandas (hence the name - panda and polar are bears)

[wenc]

Polars is Ritchie Vink. Pandas is Wes McKinney.