manual.en.json did not get deleted...