theora dev - Nov 2010 - Follow-up on the Cortado 0.6.0 source vs the official Cortado 0.6.0 binary

At the URL
http://downloads.xiph.org/releases/cortado/cortado-ov-stripped-0.6.0.jar there
is a binary release of the Cortado 0.6.0 applet (dated March 19, 2010.) It would
be easy to assume that the file at the URL
http://downloads.xiph.org/releases/cortado/cortado-0.6.0.tar.gz (dated March 19,
2010) (which appears to be in the same directory) comprises the corresponding
source code for the previously-mentioned Cortado 0.6.0 binary. At the same time,
it has been said that the Cortado applet 0.6.0 binary has been processed with
the Proguard software, and yet I have not found any mention of the Proguard
software in the cortado-0.6.0.tar.gz file. (At the URL
http://git.xiph.org/?p=cortado.git;a=tree there is a cortado.proguard file; the
file listing at this URL may be more up-to-date or different from the source and
binary packages that are under the http://downloads.xiph.org/releases/cortado/
URL.) Under Ubuntu Linux, after installing the Proguard package, compiling from
the Cortado source code (probably from the downloaded cortado-0.6.0.tar.gz) did
not seem to produce a Cortado binary that had been processed with Proguard (i.e.
with such names as A.class, B.class, etc.)

As such, for the previously mentioned cortado-ov-stripped-0.6.0.jar binary under
the http://downloads.xiph.org/releases/cortado/ directory, it seems unclear as
to whether the nearby cortado-0.6.0.tar.gz file would by itself constitute the
corresponding source code for the purpose of license compliance (and, for any
users who have an interest in source code, convenience.) As stated earlier, it
would be easy for a user who distributes the binary to make such an assumption
about the cortado-0.6.0.tar.gz file as the source code.

It would be useful to be able to use official releases of the Cortado applet
binaries in projects (i.e. HTML files that incorporate Ogg Vorbis audio) that
are distributed on physical media (i.e. CD-ROM discs.) For a user who undertakes
such an action, it should be easy for them to know as to what other files should
be included on the disc for the purpose of providing the corresponding source
code and for providing license information.

--Richard