Looks like @zanger hasn't received any replies!