Remove obsolete overlay code

If we change the way overlay duplication works in the future,
we can resurrect some of this code at that time.