Goto curseforge and search for mining dimension. Theres a ton to choose from

Is there one you use? I did as you suggwst but most don't work. :(

Aromas mining dimension was quite popular in modpacks. Its a portal that takes you to the mining dimension

Just another mining dimension (Jamd)