That's why I said semi-relevant. I think the renewed interest in finding alternatives in TrueCrypt is clearly due to the devs stepping out, which is unrelated to its removal from Tails. It doesn't even seem implausible that in the (in my opinion, incredibly likely) event of a fork, the new fork will be a strong candidate for inclusion in Tails, assuming it has active development, a FOSS-compatible license and a more open development process (again, all of which may be possible). The reason I wanted to post here was to hopefully convince some people in kneejerk mode to just give the dust a bit of time to settle, since I imagine many people would be using this list to help them migrate.