Summary of changes: ccf9db5... Forgot the changelog entry, plus kill all tabs. (*) 5fee2dd... *sigh* up the release (*) (*) This commit already existed in another branch; no separate mail sent