What is the standard way to work with CSV Files? I do not want to use any of Jane Street’s packages. Among other reasons, there is no documentation for a couple of csv related packages provided by JS. There is also the very old and unmaintened package csv that I am not sure if I should be using it today.
