No joke. To say "many bore Muslim names" is but a verbal fillagree.
That's a great turn of phrase! OK if I use it?