The world’s a stage for these four new jumping spiders from Sri Lanka