elevator: Delete obsolete code.