A buffer-local symbol-list plugin