A simple, personal webfinger server written in PHP