I converted the GIFs to APNG and both ffmpeg and ffplay gave the same results as the browser, so the specification is very consistently ignored.