Merge branch 'better-tags-index' into 'master'

Write dedicated tags index

See merge request !137
1 job for master in 11 minutes and 58 seconds (queued for 1 second)
Status Job ID Name Coverage
  Deploy
passed #7847
malamanteau

00:11:58