Merge remote branch 'ponder'
[profile] / dot / bash_logout
2009-07-18 Mark WoodingGreat reorganization.