Hi, Is there a way to download partial live log? 

I saw an earlier post a few years ago saying that it can only be done if I run lean locally. Can this be done via the web console or is there any sample code which I can use to download partial log. thks!