> BlueCrypt would be a better name
Agreed, but I think the license requires that they have something that's clearly distinct from the code base so there's no confusion. Take for example IceCat, a Firefox rebrand:
https://duckduckgo.com/GNU_IceCat. Something like BlueBox, BlueVolume, or BlueKey might work. Something that shares something in common with the original but very clearly a derivative. Just a thought.