Thread:Extension talk:VisualEditor/WYSIWYG/reply

Indeed it is a WYSIWYG extension. A cool one though. :)