Direct export of a data frame output to CSV - is it supported somehow?

I’ve recently migrated the analytics team from Zeppelin to JupyterLab.
They seem to be happy about the change, but there is one particular functionality in Zeppelin they miss in JupyterLab - being able to export the data frame directly from the output to csv without writing any code. This is nicely illustrated here:
Is there any known JupyterLab extension that does the same thing? I’d appreciate any tips. Thanks!