Why not a hybrid system whereby the machine prints receipts that have an adhesive back that has a peel-off protective layer? Then people could use them as the current ones are used by not removing the backing, or they could remove the back and paste them into their passports. Such a method could probably be adopted just by changing the paper stock in the existing machines, without having to modify them.