Huh, I didn’t know that. I would’ve guessed they’d use some open source alternative.