synchronized with riscoss-wiki-ui