Some investigation is needed to distinct the necessary files. As for now, we just `.gitignore` the folder by 308acca86