IBM dropper nu Lotus-navnet, der går helt tilbage til 1982. Men Notes lever videre.