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

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