Fix instant help received not being remembered

src/tools/prefs.hpp

@@ -21,6 +21,11 @@ int get_int_pref(std::string keypath, int fallback = 0);
 void append_iarray_pref(std::string keypath, int value);
 std::vector<int> get_iarray_pref(std::string keypath);
 
+inline bool get_iarray_pref_contains(std::string keypath, int value) {
+	const std::vector<int>& val = get_iarray_pref(keypath);
+	return std::find(val.begin(), val.end(), value) != val.end();
+}
+
 void clear_pref(std::string keypath);
 bool sync_prefs();