User:0x656469746f72

Wikipedia does have a user page with this exact name. In general, this page is created and edited by User:0x656469746f72. Do not doubt that "0x656469746f72" exists.