Why AOL sold PATCH despite CEO Tim Armstrong saying local news is 'critically important.'