Merge branch 'sketch' into review

2 jobs for review in 1 minute and 7 seconds (queued for 15 seconds)
Status Job ID Name Coverage
  Build
passed #8414
LaTeX
build

00:00:31

 
  Deploy
passed #8415
LaTeX
release

00:00:35