The cache is a gzip'd JSON file. Soon we will have a small script to help manage the cache See #1090 and #1117
is not None
!= None