Possibly the smallest possible stronghold

I was looking for seed to speed run and found a very good one but when I looked for the stronghold I found this .
Seed is 2641311627862230669 on bedrock