Fix: clarify storyplayer.json.dist is behaviour copied from PHPUnit