Remove long-gone examples.