Looks like @ddlee hasn't received any replies!