The name of the system is “Extended Oberon”. Oberon-extended is the repository name on Github - it should not be used to refer to the system. The file 'Streamling symbol files in Oberon' is now back.