Doc generation for new modules + improving evtchn_stubs.c