I think I found the solution, looks like you have to install the TinyMCE Advanced plugin for this to be visible again: https://ww.wp.xz.cn/plugins/tinymce-advanced/. Something you may want to note in your documentation (especially for new users who already have WP 5.0 or greater).