Ace - decorator flags

[sergefabre]

Hello,
I'm following the example on the docs about the flags.boolean decorator, but the property does not exist with my version of Adonis.
Here is an extract of my package.json file:

"dependencies": {
    "@adonisjs/ally": "^4.1.1",
    "@adonisjs/auth": "^8.0.9",
    "@adonisjs/core": "^5.3.4",
    "@adonisjs/lucid": "^16.0.0",
    "@adonisjs/repl": "^3.1.6",
    "@adonisjs/view": "^6.1.0",

Here is the problem in my IDE (VS Code):

Telling me that default does not exist in the type Partial<Omit<CommandFlag, "type" | "propertyName">>.

I don't know if I'm doing something wrong, or if the docs are for a more recent or dev version (it doesn't show up in the docs website, you used to be able to do this with the legacy docs).