Please consider adding them to the TLPDB. Ok, done. Just FYI, pxeverysel is not its own package, but part of platex-tools (already listed). --best, karl.