dadada's web log

• Managing striped GPG keys
• My $HOME