Cleanup after closing #5212
Cleanup after closing #5212

mrkkrp/stackage,simonmichael/stackage,michalkonecny/stackage,Daniel-Diaz/stackage,jonschoning/stackage,fpco/stackage,soenkehahn/stackage,iand675/stackage,clinty/stackage,massysett/stackage