I just deleted an email because an accidental pun in it annoyed me. • Dominik Schwind