refactoring: avoid name "buffer" for BufferManager since there's Buffer library already