Snippet management interface for quick text insertion.

Snippet Library - Captured on 11/15/2025 by @romain-penchenat