[rf15]

This is so clearly all LLM-generated, it hurts. That coverage page in particular is seemingly nonsense.

also check out his similar work, https://miniswift.run/ which has the same issues.