some dirty helpers
Updated 2025-08-27 00:23:45 +02:00