timeraider

I have posted a pull-request on GitHub, at , but GitHub seems to be only a mirror. I do not know where or how to contribute code…