verbose output cosmetics; notes about several todos