Merge branch 'patch-125' into 'master'

Update discord.html

See merge request !160
2 jobs for master in 15 seconds (queued for 7 seconds)