Remove user-manual folder for the time being