Update:
Thanks to @escada and @alan_gr, I've now put added the tags amenity=place_of_worship on tag [amenity=place_of_worship][1] to that building, and also two others that I added recently.
This seems to do curious things with the rendering: MapNix gives some of these a crescent-and-star, and some of them not.
Three examples:
[amenity=place_of_worship only][1]: shows crescent
[amenity=place_of_worship + building=mosque][2]: only][2]: shows crescent
[amenity=place_of_worship + building=mosque][3]: shows crescent
[amenity=place_of_worship + building=mosque][4]: doesn't show crescent
Perhaps someone can explain why this is? It would seem sensible if all mosques have a crescent and star, just like all building=church have a cross (if I've understood correctly).
I may be missing something obvious again, though...
[1]: https://wiki.openstreetmap.org/wiki/Tag:amenity%3Dplace_of_worship
[2]: https://www.openstreetmap.org/node/5936909858
[2]: [3]: https://www.openstreetmap.org/way/627546095#map=16/52.5829/-0.2438
[3]: [4]: https://www.openstreetmap.org/way/277148064