Rumour: Google Intends to Discontinue the Android Open Source Project