Fixes #1172. Fixes 1145. Fixes #1142. Fixes #1139. Fixes #1126. Fixes #1125. Fixes #1123. Fixes #1121. New update manager.