I'm considering future improvement (moving RTinfo generation to semantic3a, as you say).