[RFC PATCH v9 23/23] DO NOT MERGE: only to make CI happy