ide-backend-0.9.0.2: An IDE backend library