Remove old code

This will forever be in our history, so we can retrieve it again if needed.

Fixes #2272.