Jemand hat nginx gepatcht, um es WebID-fähig zu machen.