>> in most cases, it is not, thanks to .gitignore or similar, but we
>> can't be sure. So I just can't decide it is needed to call
>> `rcs_remove` rather than a good old `unlink`. --[[intrigeri]]
>> in most cases, it is not, thanks to .gitignore or similar, but we
>> can't be sure. So I just can't decide it is needed to call
>> `rcs_remove` rather than a good old `unlink`. --[[intrigeri]]