Looks like @tinje hasn't received any replies!