Copyright for ogmtools source package in Hoary