Fix pubinfo regexp. (Allow numbers in hostname.)