Re: HEADER.html update during the release

[Vladimir Sitnikov]

Could we drop version number from that page?

Alternative option is to svnmucc the page as other zip and tgz.

What do you think?

Vladimir