Re: [tbb-dev] TBB in Tails: Release timing in general