Merge branch 'eadt_extension_description' into 'master'

Update Syntax.icl

See merge request !217
3 jobs for master in 6 minutes and 23 seconds (queued for 11 minutes and 37 seconds)
Status Job ID Name Coverage
  Test
failed #37287
backend

00:03:19

passed #37288
frontend

00:02:30

passed #37289
stats

00:00:33

 
Name Stage Failure
failed
backend Test
Compiling System.Process
Compiling System.FilePath
Compiling System._FilePath
Compiling Cloogle.API
Compiling Data.Maybe.Ord
Compiling Cloogle.DB
Makefile:25: recipe for target 'CloogleServer' failed
make: *** [CloogleServer] Error 1
ERROR: Job failed: exit code 1