Osicat/github

I'd quite forgotten that Osicat had moved to github, and pushed a commit on https://gitlab.common-lisp.net/osicat/osicat . Oops. There's a corresponding pull request on github. Cheers, -- nikodemus