They only mentioned that it was from the filename in the comments. So initially at the start, it wasn't clear that's how they did it.