Timeline ID hexadecimal format

Hi,

I've been puzzled by this message:

~~~
LOG:  fetching timeline history file for timeline 17 from primary server
FATAL:  could not receive timeline history file from the primary server:
ERROR:  could not open file "pg_xlog/00000011.history": No such file or
directory
~~~

It took me a while to understand that the timeline id 11 in hexadecimal
is the same as the timeline id 17 in decimal.

It appears that the first message is formatted with %u instead of %X,
and there some others places with the some format, while WAL filename
and history file used hexadecimal.

There is another place where timeline id is used : pg_waldump, and in
these tools, timeline id ( -t or --timeline ) should be given in
decimal, while filename gives it in hexadecimal : imho, it's not
user-friendly, and can lead to user's bad input for timeline id.

The attached patch proposes to change the format of timelineid from %u
to %X.

Regarding .po files, I don't know how to manage them. Is there any
routine to spread the modifications? Or should I identify and change
each message?

best regards,

--
Sébastien