Does our Mashiach, R' Yirah HA'Ari, keep Shabbos?