Initial commit; part of moving to eikeon/web.