Rename fmin.txt to doc/fmin.txt