496f6f5 options.html: Restore advanced options mysteriously removed by previous commit

Authored and Committed by Libor Polčák 2 years ago
    options.html: Restore advanced options mysteriously removed by previous commit
    
        
file modified
+1 -0