hmm, just trying different possibilities, I tried manually inserting these lines for a given (single) extension alongside all the other GUI generated lines:
d50_logo_file=user_image_1.png
timezone=Europe/London
web_ui_enabled=yes
and it resulted in that extension no longer being presented to me as an option on a D50 when “select your name and extension” is shown