No they are all unofficial, although I could probably get permission if I needed to.
How would I create a GPX file (other than tracing the route) and render it in Kosmos? Although I’m finally getting somewhere with it, Kosmos is still a bit of a mystery!
Edited to Add: Just thought, isn’t what I’ve asked for the same as for a bus route? They are mapped in OSM.