GitLab

Now that server.cpp is gone, we don't need to keep passing arguments
that were only ignored and only kept for compatibility.