Ha I almost held off suggesting BST for that reason, but I’m sure you wouldn’t have to wait long for someone to pipe up with “u sed it startedd at 9am gmt but it actualy started at 10??!!!”
Not sure who you’re suggesting should “deal with it”? If it’s the international readers then we already do, we don’t just sit staring at a Pacific Timestamp dumfounded, we have to go look it up. The suggestion is that The Verge site make that a bit easier, no biggie, right?