Pierre Labastie wrote: > I eventually found that adding "-e s/2\.20)/2.2[0-9])/" was enough. > > So, I think I'll directly change the page, unless you want to do that. OK. Are you going to tag it for 7.8? I can do it if that's easier right after you do the instruction change. -- Bruce