Edit history for page: eggref/6/check-errors

revision	author	date	description	r1	r2
45167	kon	Wed Dec 10 20:37:00 2025	rel 4.0.1, history, update type syntax, remove unavailable