options.php: Fix typo
options.php: Generate tooltips from option metadata