other docs nitpicks

I don't think it's good to write that we "provide a library",
as it currently doesn't seem suitable for usage outside kresd.