Documentation of EXPIRES option; more rigorous testing of implicit registration