proc docsGenCommand(v: Values) {....raises: [KeyError, IOError, ValueError,
    OSError, StoreError, WalError, Exception, CatchableError, JsonParsingError,
    StorageError], tags: [WriteIOEffect, WriteDirEffect, ReadDirEffect,
                          ReadIOEffect, RootEffect, TimeEffect, ExecIOEffect,
                          ReadEnvEffect], forbids: [].}

proc docsOpenCommand(v: Values) {....raises: [KeyError, IOError, ValueError,
    OSError, StoreError, WalError, Exception, CatchableError, SslError,
    LibraryError], tags: [WriteIOEffect, WriteDirEffect, ReadDirEffect,
                          ReadIOEffect, RootEffect, TimeEffect, ExecIOEffect],
                                  forbids: [].}