Question: How big does this fish become typically?
Relevant Wikipedia article: https://en.wikipedia.org/wiki/Banded_killifish