"User Assign" menu copy/paste bug? (Digitone Keys)

Elektron Gear Digitone/Digitone Keys
#1

On my Digitone Keys, I want to copy the USER settings from one pattern to another. It would appear to be possible by:

  1. In pattern 1, hold [USER MODE] then press [RECORD] to copy. The screen shows “COPY PAGE USR2”.
  2. In pattern 2, hold [USER MODE] then press [STOP] to paste. The screen shows “PASTE PAGE USR2”.

The problem is, the pattern 1 settings are not actually pasted - the user page on pattern 2 remain unchanged. This seems like a bug, but maybe I’m missing something?

(Note, I also tried using the [FUNC] key as part of the copy/paste keystrokes - the effect was the same.)