how to edit plain default built in theme?
The default theme isn’t editable but you copy it to a custom theme and then change.
means no option?
No, it does not mean no option. It means exactly what @Ealfardan wrote. Read the Guide: https://www.manager.io/guides/10368.