I know they are essentially the same, but it seems CEED users can benefit from a separate section that might have CEED specific problems, feature requests, etc.
Yes, please. That would be helpful.
Probably easier to raise a support ticket for this. The Pi-Top team are notoriously shy of the forum, if they come here at all. They do however respond to tickets. I think that would be your best shot.
Makes sense. I'll do that as well.