Copyright for hovercraft source package in Mantic