#397578: Removing developer.widgets.txt, since all the API functions described in it have been removed.