Copyright for ogmtools source package in Artful