Its marked as broken, as this does not work yet, but we are calling it a
day here soon, so I want this to be recorded (#8959).