[MIN] Remember recent inputs.
[MOD] Core, #608: section for local options readded to .basex