due to a server move my old blog, which is abandoned anyway, is broken for now. i don't think anyone will read this anyway.