Reply to thread

Technically, preventing people from disabling the default style isn't 100% necessary - it will be still be used. That said, we enforce it in some places, so we should enforce it everywhere.