LyX removed from the overlay.