User blog comment:Riftling/Team DGTL's JNPR/@comment-4681758-20140916221421

Looks pretty cool! My favorite's Isabelle so far.