#14, #57: Use HTML attribute to set options