На главной их оф.сайта весит рекомендация переходить на Bitlocker - это никого не смущает? Версия 7.2 фактически дискредитирована, однако, предыдущие версии убраны с sourceforge...
Основные версии, того, что произошло
Считаю вариант 4 наиболее вероятным. "Благодарные" юзеры бесплатного проекта подняли бучу и затроллели разработчиков. И что плохого в BitLocker?
ЗЫ Очень показательно, что аудит открытых (!) исходников потребовал краудфаундинга на сумму более 60 тыс. Становится понятным, что нытьё определенной группы пользователей СПО об открытии исходников различных закрытых проектов яйца выеденного не стоит, потому что миллионы зорких глаз школьников-линуксоидов не способны разобраться в исходниках, не говоря уже о правке каких-то багов или устранении уязвимостей.