The WP article on filefish says they are also called shingles. We have no such sense at present. Is it right? Equinox ◑ 21:36, 6 February 2023 (UTC)Reply
