Sun May 15 19:57:34 +0000 2016 : @pleia2 It is really just unchecked habit for me. I was the local maintainer for Pine way back in the dark ages at uni so it was my default.