A port of @lazd’s mdn.io to PHP. An “I’m feeling lucky” URL shortener.