>When that commit was done in 2016, there should have been a commit to >current.html telling people tochange syntax. Both as a warning of a upcoming >change and as a reminder for us to remove the old syntax after release >(6.0?).
I have always disliked the reliance on include, because errors detected during parse are poorly handled. Garbage format in the file will adjust the global scope and the parser is clueless to cope well. An implicit load directive of a specifically formatted file can be made far more robust.
