Quão populares eram as bibliotecas dos mineradores? Onde existiam, que fração dos mineradores eram participantes ativos?