Google says Android Open Source Project not being ādiscontinuedā amidst Pixel change impacting custom ROMs