Categorize documents

We have many documents for developers and maintainers, and they should be targeted at different user groups. Developers can use the framework without delving into its internal details, so documentation aimed at maintainers should be marked to avoid developers getting caught up in excessive design intricacies.