Are there any practical one time pad management systems out there, GPLed for GNU/Linux? Is anyone working on one? If not, does anyone want to start? Thank You for considering this question.