Система Ubuntu 18.04.3 зависает при убийстве mpirun

Нет, расширение Ubuntu Firefox Modifications Extension позволяет легко выполнить это без проблем.

Чтобы ответить на ваш вопрос: нет, это не имеет значения.