SilvaDocument changes

     For the time being, see the HISTORY file in Silva core.