Overview of user-created Repls with options for management.

home - Captured on 2/16/2025 by @romain-penchenat