on the following line, `s/GtkNotebook/GtkOverlay/`