ASIDE menu: hide links to unused modules.
ASIDE: Fix indentation.