The original design did not work with my X1C because the fan cable is too short.
I remixed a smaller simplified version that just uses a taller catch that the edge of the cover slides into. I thought about including a magnet at the top but there really isn't any space due to the short cable, and it works well without anyway.
I printed this in PETG and no supports are required.
The author remixed this model.