add `filename=' option to `plot_corner'
Adding a filename=
option to plot_corner
will allow the user to specify both the filename they want to use (rather than the default) and, more importantly, save the plot as a different file type. e.g., pdf, etc.
Edited by Paul Lasky