It doesn't seems worth keeping it alive. Broken by commit 0649fcdf2. (I hope I did this right without regenerating.)
0649fcdf2