Follow-up to #1526 where the el-get.texi file was edited...