Fix serialization of used_options
info: open history pages for all specified formulae

Closes #17852.