more work on debugging the pager decoder #1209

Job	Run time
build_android	11m 42s
build_android	11m 42s
build_debian_buster	2m 54s
build_debian_buster	2m 54s
build_debian_bookworm	3m 37s
build_debian_bookworm	3m 37s
build_debian_bullseye	3m 5s
build_debian_bullseye	3m 5s
build_debian_sid	3m 50s
build_debian_sid	3m 50s
build_macos	1m 18s
build_macos	2s
build_raspios_bullseye_armhf	8m 35s
build_raspios_bullseye_armhf	8m 35s
build_ubuntu_focal	3m 19s
build_ubuntu_focal	3m 19s
build_ubuntu_jammy	3m 15s
build_ubuntu_jammy	3m 15s
build_ubuntu_mantic	3m 11s
build_ubuntu_mantic	3m 11s
build_windows	13m 6s
build_windows	13m 6s
check_formatting	13s
check_formatting	13s
check_spelling	12s
check_spelling	12s
create_full_archive	0s
create_full_archive	1s
update_nightly_release	0s
update_nightly_release	1s
	1h 55m 20s

Provide feedback