Hi!
Which was the exact website you get it from? It would be better to use custom kali for the course because it has all the needed software already installed. And yes, official kali release has dropped mana support, don’t know which software replaced it.

Let me know.
Diego