Drop unused code.

It's in this state since one year. I guess it can go.