@greps on WordPress.org
Created ticket #15952 on Core Trac:Add <!--nextpage--> button back to WYSIWYG editor