the files_modified kfun extension impl; doc updates
update modules loaded when booting mud