diff --git a/doc/plugin/HostOS.md b/doc/plugin/HostOS.md
index cf5d6721..7aabb0de 100644
--- a/doc/plugin/HostOS.md
+++ b/doc/plugin/HostOS.md
@@ -89,8 +89,8 @@ Prior versions of `HostOS` used to include a way to auto-detect the host
 operating system. This code was brittle, unreliable, and rather big too. For
 these reasons, this functionality was removed. The `autoDetect()` method is now
 a no-op, and is deprecated. The `Kaleidoscope/HostOS-select.h` header is
-similarly obsolete. Both of these produce deprecation messages now, and will be
-removed by 2019-01-14.
+similarly obsolete, and has even been removed (for unrelated reasons). The
+`autoDetect()` method will be removed by 2019-01-14.
 
 Furthermore, `HostOS` now depends on `Kaleidoscope-EEPROM-Settings`, that plugin
 should be initialized first.
diff --git a/src/Kaleidoscope/HostOS-select.h b/src/Kaleidoscope/HostOS-select.h
deleted file mode 100644
index 7a080cd7..00000000
--- a/src/Kaleidoscope/HostOS-select.h
+++ /dev/null
@@ -1,20 +0,0 @@
-/* -*- mode: c++ -*-
- * Kaleidoscope-HostOS -- Host OS detection and tracking for Kaleidoscope
- * Copyright (C) 2016, 2017  Keyboard.io, Inc
- *
- * This program is free software: you can redistribute it and/or modify it under
- * the terms of the GNU General Public License as published by the Free Software
- * Foundation, version 3.
- *
- * This program is distributed in the hope that it will be useful, but WITHOUT
- * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS
- * FOR A PARTICULAR PURPOSE. See the GNU General Public License for more
- * details.
- *
- * You should have received a copy of the GNU General Public License along with
- * this program. If not, see <http://www.gnu.org/licenses/>.
- */
-
-#pragma once
-
-#warning <Kaleidoscope/HostOS-select.h> is an obsolete header, and can be safely removed.