Hi Evert, thanks for stopping to comment and adding the explanation of naming the server. I have been grateful for having those instant servers on other (especially unfamiliar) platforms and I hope that the same feature in PHP will be a useful addition. It’s early days for this feature but I like it so far!