Thank you for considering this!
You are understanding correctly. I would imagine instead of the height setting in the options being the be all end all height, It is the default height. Most likely setting per user would have to be built on top of the API where we do configurations as well. The set extension configuration, maybe a similar endpoint that accepts an int from 100 - 500 where the user height is set. That way i can set it through my EBS when they submit configurations