Comment by gcr

I am curious why this name was chosen. Is there any connection between Isaiah and whales? Feels somewhat TempleOS-y.