* [MARKUP,SC] Removed module, html_integer_size_sequence//1 relocated to IAAA.