Looks like @dobrev hasn't received any replies!