Functional version of original shiny server, as a backup in case the new version is too weird.
New version of shiny server, with separate tabs for each correction type.