where do people check for the MML library?

Hi,

I was trying to do the see the MML library as exercise 1.1.1 suggested from https://www.cs.ru.nl/~freek/mizar/mizman.ps.gz where do ppl usually check this? A local copy of it in my mizar installation or from the github page: https://github.com/MizarSystem/MML/tree/master/mml

I’m surprised the exercise asks us to do that without telling us first where to look.

Thanks!

Regards, Brando