OK, found them. See attached complete code list, I named the two "Jump forward" and "Jump backward" and added them at the end.
I used a small piece of hardware named "USB IrToy", and IrScrutinizer to find the codes. Using the codelist I built a configuration file for RCoid, an android app working as a smart IR remote. IMHO a great piece of software if you own a smartphone with IR blaster.