Looks like @zimmermann hasn't received any replies!