I have just noticed that domain name software.co.uk was sold for 150,000 GBP through Sedo. Good news!