Search ports

Search runs on mddb: ranked full-text search over each port's name, comment and description, with the categories and maintainers of the results counted so you can narrow them down.