* head -number is not allowed by POSIX.1-2024: https://pubs.opengroup.org/onlinepubs/9799919799/utilities/head.html https://devmanual.gentoo.org/tools-reference/head-and-tail/index.html
The latter is more portable, while the former only works on systems where /bin/bash exists (or is symlinked appropriately).