PMT is not related or affiliated nor endorsed by PMMP so you are looking at the wrong place i highly suggest you stop using PMT unless you host it yourself and write the code for it you can never guarantee what you put in is the same thing that came out ex they can inject malicious code into the phar or replace the phar with one that do "rm -rf /" which will delete everything for example you should consider using dev tools OR "phar.phar" command if your device have PHP bin installed
Hello, Thanks for signaling me this issue (was DNS related). It is now fixed and you should be able to reuse pmt as normal.