Plankton is a PHP (pedagogical) pico framework