Copyright for rednotebook source package in Lucid