polyrith and "try this"

Stream: mathlib4

[Heather Macbeth]

I just noticed polyrith isn't hooked up to "try this" yet -- would anyone like to try doing this? (Another thing it would be nice to have before the MSRI school starts tomorrow, though not at all necessary ....)

[Mario Carneiro]

!4#4655