New feature cache.was_downloaded() is not handy with old caches. They
have been downloaded before, no reason to download again and possibly
ruin the calculations. I did not change the Description part properly
in this commit yet. Calc tab should always be visible: even if
downloading of details fails, you could copy a calc string from the web
browser into AGTL.