Server: remove no-longer-relevant TODO