Ich habe das Benki auf einen neuen Server umgezogen. Das hat reibungslos geklappt, und es ist, wie es scheint, voll einsatzbereit.
Eines habe ich bei der Gelegenheit allerdings abgeschafft, und zwar den WebID-Login. Der hat schon länger nicht mehr funktioniert, weil der komische node.js-basierte Frontendserver irgendwann spontan kaputtgegangen war, den ich zu dem Zweck schnell-schnell hingehackt hatte. Die WebID-IdP-Funktion ist aber nach wie vor aktiv, und das bleibt auch so. Man kann sich also beim Benki nicht mehr mit WebID einloggen, aber man kann das Benki nach wie vor als WebID-Provider verwenden und sich auf anderen Websites mit der WebID vom Benki einloggen. Also, abgesehen davon, daß ich auf die Schnelle jetzt keinen funktionierenden WebID-Login im ganzen Web mehr finden konnte. Die vom WebID-Wiki gehen jedenfalls anscheinend alle nicht mehr.