That's a decent summary. One minor correction: Not all of the proprietary Google apps are available from the Android market. And some of the ones that are (e.g. Google Maps) depend on libraries that are not part of the open source Android code and are not downloadable through the market.