Pavel>but I bet we should remove the compatibility symlinks, right?
I think so.
Pavel> I've seen Dave fixed the link
What I do not like is the link publish is manual process, thus it is
prone to errors.
We should either automate it, or prefer github's tar.gz
Vladimir