Looks like @kallim hasn't received any replies!