Then it's incumbent on car manufacturers who sell their cars with 'auto-pilot' as a marketing term to educate the public on what that term-of-art means. This might cost some money to do. A line in the manual doesn't count.