Looks like @ekhb hasn't received any replies!