many little improvements, including regex whitespace splitting, more-or-less responsive design, smaller loader, keyboard shortcut tool tips, etc