@abelsromero spotted that https://docs.spring.io/spring-framework/docs/current/reference/html/web-reactive.html#webflux has {spring-framework-main-code} attributes that have not been expanded.

Both web frameworks mirror the names of their source modules ({spring-framework-main-code}/spring-webmvc[spring-webmvc] and {spring-framework-main-code}/spring-webflux[spring-webflux]) and co-exist side by side in the Spring Framework. Each module is optional. Applications can use one or the other module or, in some cases, both — for example, Spring MVC