I’d guess they are using Haiku for this.