These are  the scripts that are needed by my syllibi modification.