DrClaude wasn't taking a limit, so why would he use L'Hospital's rule?People read what you wrote and don't agree with you. There's nothing mathematically wrong with the method mfig and DrClaude used. Neither was taking a limit, so your claim that they're overlooking an indeterminate form doesn't apply. As DrClaude noted earlier, neglecting higher order terms isn't the same as taking a limit.
To put it another way, you seem to be claiming that you can't say
$$\frac x{1000001} = \frac x{1000000+1} \cong \frac x{1000000}$$ without knowing what the value of ##x## is, which is ridiculous. Just as dividing by 1000000 will give you close to the same answer as dividing by 1000001 because ##1000000 \gg 1## regardless of the value of ##x##, dividing by ##m_1## will give you approximately the same answer as dividing by ##m_1+m_2## when ##m_1 \gg m_2## whether or not ##m_1## appears in the numerator.