[RFC] Remove dead code

I've used the same bash script as in #337.
Didn't manage to get mahkohs script to do the work.