I asked on Twitter, and got several recommendations <a href="https:&#x2F;&#x2F;twitter.com&#x2F;hyperpape&#x2F;status&#x2F;685476672393605120" rel="nofollow">https:&#x2F;&#x2F;twitter.com&#x2F;hyperpape&#x2F;status&#x2F;685476672393605120</a>.