Add the script used to fix the manual