* [HTML_TABLE,EXT] Added the maximum_number_of_rows/1 option to html_table//[3,4].