The post you referred to says "If you have a harder or more durable
finish, you may want to use the SOMETHING LIKE the StripEase brand of
heavy duty finish remover".