release number bumped to 890 by export.pike
release number bumped to 891 by export.pike