Move "Other Formats"

[justanothergithubber]

Is it possible to move "Other Formats" that is normally located in the margin sidebar at the right to the left? (like Table of Contents which is controlled by toc-location) This gives more space for main content when page-layout is set to full.

[dragonstyle]

Thanks for the suggestion - I will take a look at this and see what we can come up with!

[mcanouil]

Closing in favour of #3895