Horrible JavaScript search redirector, mk 2 (!44) · Merge requests · Holland Computing Center / HCC docs · GitLab

Merged John Thiltges requested to merge redir into master Dec 14, 2018

Turns out that no magic is needed. Just dump JS into markdown.