Merge branch 'sketch' into review

2 jobs for review in 1 minute and 48 seconds (queued for 8 seconds)
latest
Status Job ID Name Coverage
  Build
passed #8471
LaTeX
build

00:01:10

 
  Deploy
passed #8472
LaTeX
release

00:00:37