void help_overlay_set_state(int overlay_id, int resolution_index, int state)
void launch_context_help()
int help_overlay_active(int overlay_id)
int help_overlay_get_index(const char *overlay_name)
void context_help_grey_screen()
void help_overlay_maybe_blit(int overlay_id, int resolution_index)