Absolutely!
From the list above, here is a list of project you should feel free to remote from Debian:
- enumerate
- estring
- faillib
- format
- herelib
- optcomp
- pipebang
- text
- type_conv
These are all old Jane Street projects or old projects of mine. I’m pretty sure quite a lot of other ones can be safely removed as well.