(I hate github for this: I'd like to comment the context that is before that)

Why not using the thread id instead of the number as the thread HTML id ?