Switch to LyX