Hmm... thanks for that link! That website says nothing about patents and prior art, so its purpose seems somewhat different. Shouldn’t takeover someone’s website meant for something else :-)