Improve buffer manager comments, rename buffer_cache to available_buffers as less confusing.