You won’t find any official how-to manual for the exact model but it’s certainly a very easy fix and manageable even for the a junior diyer. Most tumble dryers are more or less the same design/layout.
Pull it out and pop the back cover off. the heating element is probably right there then you can see the story and remove it and find a model number for the same heater component and buy on eBay or whatever.
There will certainly be some you tube tutorials too which would be very relevant even if not the exact model.