Synchronize Overleaf examples with the examples on the web