Index: trunk/data/validator/deprecated.mapcss
===================================================================
--- trunk/data/validator/deprecated.mapcss	(revision 14800)
+++ trunk/data/validator/deprecated.mapcss	(revision 14804)
@@ -469,4 +469,9 @@
 }
 
+way[footway=/both|right|left|no|none/] {
+  throwWarning: tr("{0} is deprecated", "{0.tag}");
+  group: tr("deprecated tagging");
+  fixChangeKey: "footway => sidewalk";
+}
 way[sidewalk=yes] {
   throwWarning: tr("{0}={1} is unspecific. Please replace ''{1}'' by ''left'', ''right'' or ''both''.", "{0.key}", "{0.value}");
@@ -973,8 +978,8 @@
 }
 
-/* #12431 */
-*[amenity=swimming_pool] {
-  throwWarning: tr("{0} is deprecated", "{0.tag}");
-  suggestAlternative: "leisure=swimming_pool";
+/* #12431, #17379 */
+*[amenity=swimming_pool],
+*[amenity=sauna] {
+  throwWarning: tr("{0} is deprecated", "{0.tag}");
   group: tr("deprecated tagging");
   fixChangeKey: "amenity => leisure";