Bookkeeping (copyrights, dates, maintainers)