Spider is now a part of the server. So, it doesn't make sense for Spider
to have its own version number apart from the server's one.