Added texinfo to map extracts.