Environment (Required on creation):

• FF 85/Mac
• Safari 14/Mac

Description (Required on creation; please attach any relevant screenshots, stacktraces, log files, etc. to the ticket):

• With some Browsers/Operating Systems, the docs seems to be broken after the update of the docs layout due to the renaming of the platform

Steps to reproduce (Required on creation):

• see comments

Observed Behavior (Required on creation):

• see comments

Expected behavior (Required on creation):

• The docs menu renders nicely as before

Root Cause (Required on prioritization):

• TODO

Solution Ideas (Optional):

Hints (Optional):

• If this is a caching problem, let's understand the impact this has on our users (who will probably not clear their cache/do a hard reload of the page)
• Let's see if there is a solution to prevent this in the future