The topological 5-dimensional s-cobordism conjecture

Let $(W;M_0,M_1)$ be a compact topological $5$-dimensional $s$-cobordism that is a product on the boundary.

$s$-cobordism conjecture. There is a homeomorphism

$$W \cong M_0 \times I \cong M_1 \times I$$

extending the given product structure on the boundary.

This is the second conjecture in the source's stated equivalence with the disc embedding conjecture, and together with the topological surgery conjecture would imply that every pairwise linking-number-zero link is round handle slice. The source provides no evidence of resolution.