Android P dostane pravdepodobne kratší názov, ako sa pôvodne očakávalo