*.gpg: minimized keyrings and saved 385K

important since part of that is always reproduced in the tablet

used:
find -iname "*.gpg" | while read a; do gpg --no-default-keyring --keyring ./$a \
  --export-options export-minimal --output ${a}2 --export;
du -sh ${a} ${a}2; mv ${a}2 ${a}; done

1 files changed, 0 insertions, 0 deletions

diff --git a/thomas.orgis.gpg b/thomas.orgis.gpg
index 2afd14a064..d676419cfd 100644
--- a/thomas.orgis.gpg
+++ b/thomas.orgis.gpg