I do not think I have seen this earlier, but I do not visit the
homepage regularly. But congratulations to the CrystalEye team for
releasing the data explicitly as PDDL! I cannot stress enough how useful it is if you add a statement like this to your public domain data. Well done!