Mining Documentaries: What Should Mining Aspirants Know About Them?