I was surprised to see 5-Amp round-pin sockets in a relatively new hotel in England (The Village Hotel in Walsall).
When I lived in the UK (up until 1981) I was familiar with both 5- and 15-Amp round-pin plugs, but understood that they were obsolescent, and all new construction and remodel jobs used the new 13-Amp rectangular-pin sockets.
Why are there round-pin plugs used in new construction? Are they used for a specific purpose (these were for bedside lights)?
Thanks (in advance) for satisfying my idle curiosity.