deprecate the popl18 tutorial

2 jobs for master in 3 minutes and 25 seconds (queued for 4 seconds)
latest