@davidao: please do not commit junk into the registry