Minor fixes

[xavierlepretre]

This PR fixes minor things. In particular some raised by students.

R1: Internal review (B9lab)

• Technical review
  • [ ] requested
  • [ ] completed
• Language review
  • [ ] requested
  • [ ] completed

R2: External review

• Technical review
  • [ ] requested
  • [ ] completed
• Language review
  • [ ] requested
  • [ ] completed

R3: Internal QA review (B9lab)

• Technical review
  • [ ] requested
  • [ ] completed
• Language review
  • [ ] requested
  • [ ] completed

R4: Final external QA review

• Technical review
  • [ ] requested
  • [ ] completed
• Language review
  • [ ] requested
  • [ ] completed

RC: Release Candidate

• [ ] Ready to be merged

[netlify[bot]]

✅ Deploy Preview for cosmos-ida-portal ready!

Name	Link
🔨 Latest commit	7001a784f652b7a0702140718c5cf224022b8041
🔍 Latest deploy log	https://app.netlify.com/sites/cosmos-ida-portal/deploys/65686b3316c8b30007daf739
😎 Deploy Preview	https://deploy-preview-67--cosmos-ida-portal.netlify.app
📱 Preview on mobile	Toggle QR Code... Use your smartphone camera to open QR code link.

---

To edit notification comments on pull requests, go to your Netlify site configuration.

[netlify[bot]]

✅ Deploy Preview for cosmos-developer-portal ready!

Name	Link
🔨 Latest commit	7001a784f652b7a0702140718c5cf224022b8041
🔍 Latest deploy log	https://app.netlify.com/sites/cosmos-developer-portal/deploys/65686b33346ad5000947a8af
😎 Deploy Preview	https://deploy-preview-67--cosmos-developer-portal.netlify.app
📱 Preview on mobile	Toggle QR Code... Use your smartphone camera to open QR code link.

---

To edit notification comments on pull requests, go to your Netlify site configuration.

[murataniloener]

lgtm