Thanks for the link, I had not found. If this is a Sever problem, I hope that will be fixed quickly. Whether Shinni is responsible for the server I do not know.
It hasn't been updated on Minion since 7-22. I guess that it is officially an orphan now. Any ideas for alternatives?