// This file comes from the TypeScript project "WebServer" (may be renamed soon)