Thanks to Joe, if like me you occasionally stumble around with php -S localhost:8080 or the like: this is simple.