notes.billmill.org / computer usage / terminal banners /