Extended regexp, needed for parsing documentation.