my config
Merge branch 'Marlin_v1' into private
 This is to get the Maxima notebooks to the private version.
Merge branch 'Marlin_v1' into private
remove some unsupported speculation about probing points in comments
Merge branch 'private' into Marlin_v1