findNaN tweak

src/debugging/debugJS.js

@@ -75,7 +75,7 @@ window.findNaN = function findNan() {
 	var result = [];
 	for (var key in flatV) {
 		if (Number.isNaN(flatV[key])) {
-			result.push('$'+key);
+			result.push('$$'+key); /* double dollar signs to escape sugarcube markup */
 		}
 	}
 	return result;