Yup, I agree there are other modules re-registering the SSL option. Indeed re-registering the option doesn't break nothing and we haven't something like an standard about how to proceed. But since the semantics of the SSL option aren't changing (no new description or something like that), using the "DefaultOptions" field is the most correct option here :) Thanks for updating the module!