Rename minimize.txt to doc/minimize.txt