GitLab

Updates for v1.1

Closes #25 and #24

See merge request !27

see #24

This redirects users directly to the man page if there is a match for
the query, otherwise it opens the search form as usual.

fixes #25

Deployment

See merge request !26

Fix typo in footer

Both title as well as id can still contain characters like '&', but
these strings can be considered safe since they were actually extracted
from HTML.

README.md: use proper units

fixes #20