> propositioning people for sex in the halls of MIT

you are going to need to cite that. the only accusations of 'sexual harassment' i have seen are asking women at conferences on dates.

That counts as harassment in my opinion if it happens without at least some reasonable reason to believe the women may be interested in dating him, if he persists with a given woman after she doesn't respond with interest, if there is any sort of power dynamic or other coercive context in place that might make the woman feel not free to decline without social or professional penalty (within a community like the free software world this obstacle would often be present in relation to someone like RMS who is prominent within that community), if he makes a habit of propositioning people in professional contexts, or if he asks women out in unprofessional ways like inappropriate touching. If none of these patterns occur, it's probably not harassment, but I suspect he does some of them.

And if it is harassment, I'd probably say it's sexual harassment since it relates to unwanted seeking of romantic or sexual relationships in a professional environment.

He used to live in his office.

He moved out around 1998.[1]

[1] https://stallman.org/rms-lifestyle.html