CodeToHtml: allow reading K3OpEenRij