I think that for astrophotography, the shutter times are so long that you have to build it into the tripod, instead of relying on the tiny amount of stabilization that can be done in-camera.
Although maybe it would be helpful to cancel out some motor noise of vibrations from the tripod. But probably the existing image stabilization already does this.
For the very long exposure times, you can also hook a second camera up and run closed loop control on a specific star to keep your primary image sensor trained on the correct target to even tighter tolerances. There's companies making cameras that combine both the primary and secondary camera into a single housing so you don't need to fit a second camera + lens to your setup, or insert a prism to pick off part of the image to go to a second camera.
Amateur astrophotography today does tricks you needed access to a dedicated lab to do in previous decades. It's amazing!
It limits stabilization to two axes, but now any lens is essentially stabilized. And it also lets them do some tricks, since it's so integrated. One is to do sub-pixel sensor shifts for higher res photos, and another is to do astrophotography tracking when GPS data is available.
Much more limited in scope than a full tracking gimbal, but not bad considering it's built into the camera (earlier bodies had a GPS attachment that slotted into the hot shoe connector): https://www.lonelyspeck.com/pentax-k-1-mark-ii-astrophotogra...
OM-1, formerly Olympus, does has some very cool tricks using the tiny micro 4/3s sensor combined with a sick IBIS unit allowing hand-held astrophotography that the larger companies haven't bothered with.
Nikon: https://www.nikonusa.com/learn-and-explore/c/products-and-in...
You can see the VR lens element there.
The Canon version: https://www.canon-europe.com/pro/infobank/image-stabilisatio...
There are various types of mounts, and each type can be either basic or fancy. The specific type of mount that deals with rotation of the sky (around the north/south stars):
* https://en.wikipedia.org/wiki/Equatorial_mount
You can can get non-fancy ones (US$ 240):
* https://optcorp.com/collections/equatorial-mounts/products/o...
Or fancy ones ($20K):
* https://optcorp.com/collections/equatorial-mounts/products/a...