Officially adding (unmodified) SENNA source to the project