>>321
これって IPアドレスですよね?
なので、 hostname のほうにいれるほうがいいかなと思うのですがどうでしょう?

>>322
navi2ch-propertize は確か propertize がない古い Emacsen に対処するものだったと思います。
なので、 propertize でOKです。