you can search for the names of stellar objects in the galaxy map. anything actually named that would show up (except back when it would also crash the system sometimes).Where has that been established? I admit I'm probably ignorant. I only just started my second year of Elite Dangerous a few weeks back.
Now granted, they could have purposely ignored the text "raxxla" despite it actually being named that... but such a thing would be a very poor way to hide something you dont want to be found except by someone really out to find it. not just some person honking a system or passing thru.
so it's extremely reasonable to assume that the galaxy map not finding it means it's just not named raxxla in the map. It would be incredibly stupid of fdev to have a lost/missing thing actually labeled and located. Sure it wouldn't be the first time they goofed. .. but that would be pretty bad.