You are mistaken here. There is no problem with extras - the source is available for download together with the binaries. The extras repository has a source directory and the source for every package (in the free section) is downloadable. Ovi does not have a source repository, and its packages do not include the source, so the only way it can comply with the GPL is by providing a written offer, which as you noted, they do not.