Moving website from humdrum-tools project to humdrum-tools user level.