Ok I looked in the code its pretty clear what happens
# is it a redirect ?
if { $http_status == "302" || $http_status == "301" } {
set avoid_tidy_p 1
for { set i 0 } { $i < [llength $meta] } { incr i 2 } {
if { [string match -nocase [lindex $meta $i] "location"] } {
set location [translate_entities [string trim [lindex $meta [expr {$i+1}]]]]
break
}
There is a call to translate entities which is what is catching the &#{integer}
I wonder if it works fine if you have very high object ids but on a new install the object ids are under 1000 so are valid unicode codes.
