#132: deleted obsolete doc