Hi list, I was wondering if it's possible to remove files from deken. The documentation and 'deken --help' is not covering this question as far as I know. If I manually delete the files from the puredata.info cms, they will still show in deken, but you get an error when trying to install them. Thanks M.