[Notion-general] HiDPI support

[Hochhaus, A. <aho...@sa...>]

Has any work been put into making notion support HiDPI displays? If so, can
anyone point me towards the documentation?

-Andy