mention ob-sh renamed to ob-shell in ORG-NEWS