Looks like @ewriel hasn't received any replies!