Title: Document and group developer options in configure
Author: rodarima
Created: Sat, 12 Jul 2025 15:22:55 +0000
State: closed

Make sure they are not used accidentally by users.