I was looking at admin/options_value_manager.php file, but couldn't see an obvious way to change the default 10 values per page on the Options Value Controller page ... would like to have 20 or more per page ...