DevStream: UI tweaks and rework