Does anyone remember this? It's for splicing and editing paper tape. You would cut the tape and then splice in a section with changes. For simpler changes you could lay a sticker with a grid of holes and one solid section and then punch a new byte of code.(1 character).