footmisc.dtx v5.3