Hello I noticed that CRIU has several cli options (pid, contents, file, fields, ms) defined in config.c that are not being used. I was wondering if it is OK to remove them? Thanks, Radostin