Thank you. I have not really thought about whether mobile support shall be as a plugin or live in the core files.

In any case, I think it's important just to get started. A plugin is probably a good way to start, especially if it is supported by changes in the core. I am thinking, for example, a mobile menu and possibly some other stuff.