More progress in my quest for eradication of 'object id' (should be RequestID id). Removed get_font_from_var, it is obsolete Rev: server/base_server/module.pike:1.58