Please go on to Feature_Requests#metamath_feature_requests.
Testing a change to the "metamath feature requests" page. --norm 26-Nov-05